LUSTRE: A Declarative Language for Real-Time Programming (1987)

by P Caspi, D Pilaud, N Halbwachs, J A Plaice
Venue:In Proceedings of the 14th ACM SIGACTSIGPLAN symposium on Principles of programming languages