Specifying message passing and time-critical systems with temporal logic - Koymans, Ron (Lecture notes in computer science, 1992)