Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.

Nicolas Halbwachs Fabienne Lagnier Christophe Ratel Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. 785-793 https://doi.org/10.1109/32.159839 http://doi.ieeecomputersociety.org/10.1109/32.159839 https://www.wikidata.org/entity/Q111900857 1992 18 IEEE Trans. Software Eng. 9 db/journals/tse/tse18.html#HalbwachsLR92