The temporal logic of reactive and concurrent systems : Specification - Manna, Zohar; Pnueli, Amir (Springer Verlag, 1991)