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

by Specifying
Venue:In Proceedings of the international