The temporal logic of reactive and concurrent systems : SPECIFICATION - Manna, Z. (Springer Verlag, 1992)