Verifying concurrent processes using temporal logic - Hailpern, Brent T. (Springer, 1982)