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