Temporal verification of reactive systems safety - Manna, Zohar (New York Springer, 2003)