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