Modelling the semantics of multitasking facilities in Concurrent C using Petri nets. - Abdulazeez S. Boujarwah; Nadia Al-Seif; Kassem Saleh (Inf. Softw. Technol., 1996)