The contract approach illustrated with a distributed routing protocol. - Mbi Makungu; Michel Barbeau (CASCON, 1994)

A Colored Petri Net-Based Format Method for the Design of Control Systems. - Mbi Makungu; Richard St-Denis; Michel Barbeau (COMPSAC, 1996)

Synthesis of Controllers of Processes Modeled as Colored Petri Nets. - Mbi Makungu; Michel Barbeau; Richard St-Denis (Discret. Event Dyn. Syst., 1999)