programming and verifying real-time systems, using a synchronous declarative language (1989)

by Specifying
Venue:In Workshop on Automatic Verification Methods for Finite State Systems, Grenoble. LNCS 407