Jensen, P.K. 1998. Automated Modeling of Real-Time Implementation. BRICS Report Series. 5, 51 (Jun. 1998). DOI:https://doi.org/10.7146/brics.v5i51.19497.