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