Leslie Lamport
Digital Equipment Corp., Palo Alto, CA
Real-time model checking is really simple
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods