Angelo Morzenti Pierluigi San Pietro Sandro Morasca A Tool for Automated System Analysis based on Modular Specifications. 2-11 1998 ASE http://dlib.computer.org/conferen/ase/8750/pdf/87500002.pdf db/conf/kbse/ase1998.html#MorzentiPM98