Martin Fränzle, Markus Müller-Olm. Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. In Peter Fritzson, editor, Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, Proceedings. Volume 786 of Lecture Notes in Computer Science, pages 294-308, Springer, 1994.
Abstract is missing.