A Methodology for Compilation of High-Integrity Real-Time Programs.

Karl Lermer, Colin J. Fidge

Browse the full EuroPar paper archive.