A real time monitor and its representation by Petri Nets. - C. Chaudouard; Jean-Pierre Elloy (Microprocessing and Microprogramming, 1981)