Safety-critical real-time systems : A SPECIAL ISSUE OF REAL-TIME SYSTEMS, THE INTERNATIONAL JOURNAL OF TIME-CRITICAL COMPUTING SYSTEMS, VOL. 13, NO. 3 (1997) - Kraemer, Bernard; Voelker, Norbert (Kluwer Academic Publishers, 1997)