Specifying message passing and time critical systems with temporal logic - Koymans Ron (Berlin Springer Verlag, 1992)
Keywords: Computer science; Temporal logic