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