An Execution-Driven Real Time Simulator for Embedded Control Systems: Techniques, Application and Evaluation. - Christian Müller-Schloer; Jan Spitzkowsky (ESM, 1996)