A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO.

Sandro Morasca Angelo Morzenti Pierluigi San Pietro A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO. 125-155 2000 7 Autom. Softw. Eng. 2 db/journals/ase/ase7.html#MorascaMP00