P. K. Jensen, “Automated Modeling of Real-Time Implementation”, BRICS, vol. 5, no. 51, Jun. 1998.