P. K. Jensen, “Automated Modeling of Real-Time Implementation”, BRICS, bd. 5, nr. 51, jun. 1998.