Ron Koymans

• Specifying Message Passing and Time-Critical Systems with Temporal Logic
• Theory of Real Time Computing