LUSTRE: A declarative language for programming synchronous systems (0)

by P Caspi, D Pilaud, N Halbwachs, J A Plaice
Venue:In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages (POPL