Real-Time Systems Control Based on Object Oriented Concepts and Petri Nets. - M. Amghar; H. Lecocq (RTS, 1993)