Temporal verification of reactive systems Safety - Manna, Zohar; Pnueli, Amir (Springer-Verlag, 1995)
includes bibl references