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