Temporal proof methodologies for real-time systems - Henzinger, Thomas 1962-; Manna, Zohar 1939-2018; Pnueli, Amir (1990)