A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules.

M. Moalla Gabriele Saucier Joseph Sifakis M. Zachariades A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules. 20-27 1976 ISCA db/conf/isca/isca76.html#MoallaSSZ76