Krishnan, Padmanabhan. 1991. “A Model for Real-Time Systems”. DAIMI Report Series 20 (352). https://doi.org/10.7146/dpb.v20i352.6582.