Emanuele Ciapessoni Piergiorgio Mirandola Alberto Coen-Porisini Dino Mandrioli Angelo Morzenti From Formal Models to Formally Based Methods: An Industrial Experience. 79-113 1999 8 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/295558.295566 db/journals/tosem/tosem8.html#CiapessoniMCMM99