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