Temporal verification of reactive systems safety - Manna, Zohar 1939-2018; Pnueli, Amir (Springer, 1995)