Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti. From Formal Models to Formally Based Methods: An Industrial Experience. ACM Transactions on Software Engineering Methodology, 8(1):79-113, 1999. [doi]
Abstract is missing.