Krishnan, P. A Model for Real-Time Systems. DPB 1991, 20.