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