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

Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. - M. Moalla; Jacques Pulou; Joseph Sifakis (MFCS, 1978)