Formal Methods for Dependable Real-Time Systems

g. [36] John A. Stankovic and Krithi Ramamritham. What is predictability for real-time systems? Real-Time Systems, 2(4):247--254, November 1990. (Editorial). [37] Douglas A. Stuart. Implementing a verifier for real-time systems. In Real Time Systems Symposium, pages 62--71, Lake Buena Vista, FL, December 1990. IEEE Computer Society. [14] Farnam Jahanian and Aloysius Ka-Lau Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SE-12(9):890--904, September 1986. [15] Ron Koymans. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4):255--299, November 1990. [16] L. Lamport. Sometime is sometimes not never. In 10th ACM Symposium on Principles of Programming Languages, pages 174--185, Austin, TX, January 1983. [17] L. Lamport and P. M. Melliar-Smith. Synchronizing clocks in the presence of faults. Jour