"A formal model of real-time program compilation."

Karl Lermer, Colin J. Fidge (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics