Specification and Analysis of Real-Time Systems Using CSP and Petri Nets. - Krishna M. Kavi; Frederick T. Sheldon; Sherman Reed (Int. J. Softw. Eng. Knowl. Eng., 1996)