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