Specifying message passing and time-critical systems with temporal logic - Koymans, Ron (Berlin : Springer-Verlag, 1992)
Keywords: Logic, Symbolic and mathematical