Verifying concurrent processes using temporal logic - Hailpern, Brent T. (Lecture notes in computer science, 1982)