The temporal logic of reactive and concurrent systems/specification - zohar Manna,Amir Phueli (Springer-Verlag, 1992)