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

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