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