Verifying concurrent processes using temperal logic - Hailpern Bernt T (Berlin Springer Veerlag, 1982)
Keywords: Computer science