The temporal logic of reactive and concurrent systems. Specification - Manna, Zohar (Springer, 1992)