...
Mendler, M, Roop, PS & Bodin, B 2016, A Novel WCET semantics of Synchronous Programs. In Formal Modeling and Analysis of Timed Systems: 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016). Lecture Notes in Computer Science (LNCS), vol. 9884, Springer International Publishing, pp. 195-210. DOI: 10.1007/978-3-319-44878-7_12
Philip Eumann: Timothy Bourke, Lélio Brun, Pierre-Evariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg. A formally verified compiler for Lustre. In PLDI 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation Pages 586-60
...