A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules. - M. Moalla; Gabriele Saucier; Joseph Sifakis; Marianthi Zachariades (ISCA, 1976)

MAS : réalisation d'un langage d'aide à la description et à la conception des systèmes logiques. - Marianthi Zachariades (1977)