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