P. Krishnan, “A Model for Real-Time Systems”, DPB, vol. 20, no. 352, Apr. 1991.