From Formal Models to Formally Based Methods: An Industrial Experience. - Emanuele Ciapessoni; Piergiorgio Mirandola; Alberto Coen-Porisini; Dino Mandrioli; Angelo Morzenti (ACM Trans. Softw. Eng. Methodol., 1999)