The temporal logic of reactive and concurrent systems - Manna, Zohar; Pnueli, A. (Amir) (Springer-Verlag, 1992)