R. Koymans

1959

• Specifying message passing and time-critical systems with temporal logic