...
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
Sören Domrös: Gesell, M.; Schneider, K., Modular verification of synchronous programs, Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013
...