Towards provably correct code generation for a hard real-time programming language (1994)

by M Franzle, M Muller-Olm
Venue:Compiler Construction, volume 786 of Lecture Notes in Computer Science