Jensen, P. K. Automated Modeling of Real-Time Implementation. BRICS 1998, 5.