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