Specifying message passing and time-critical systems with temporal logic - Koymans, Ronald Leo Christiaan (Technická univerzita, 1989)