Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE. (1992)

by N Halbwachs, F Lagnier, C Ratel
Venue:IEEE Transactions on Software Engineering