@article{RNTI/papers/1000536, author = {Tiziana Margaria and Clemens D. Renner and Bernhard Steffen and Marco Bakera}, title = {Verification, Diagnosis and Adaptation: Tool-supported enhancement of the model-driven verification process}, journal = {Revue des Nouvelles Technologies de l'Information}, volume = {ISoLA 2007, Workshop on leveraging applications of formal methods, verification and validation,, RNTI-SM-1}, year = {2007}, pages = {85-96} }