The temporal logic of reactive and concurrent systems specification - Manna, Zohar 1939-2018; Pnueli, Amir (Springer, 1992)