The design of distributed, software fault tolerant, real-time systems incorporating decision mechanisms. - D. J. Holding; M. R. Hill; G. F. Carpenter (Microprocess. Microprogramming, 1988)

The specification and design of hard real-time systems using timed and temporal petri nets. - J. S. Sagoo; D. J. Holding (Microprocessing and Microprogramming, 1990)

A comparison of temporal Petri net techniques in the specification and design of hard real-time systems. - J. S. Sagoo; D. J. Holding (Microprocessing and Microprogramming, 1991)