André, Charles. n.d. “Representation and Analysis of Reactive Behaviors: A Synchronous Approach.” In CESA’96. Lille.

Berry, Gérard. n.d. “Circuit Design and Verification with Esterel v7.” In IW. On High Level Design Validation and Test, HLDVT’07, 133–36. Irvine, CA, USA: IEEE Computer Society. https://doi.org/10.1109/HLDVT.2007.4392800.

Berry, Gérard, and L. Cosserat. 1984. “The Esterel synchronous programming language and its mathematical semantics.” Research Report RR-0327. INRIA. https://hal.inria.fr/inria-00076230.

Berry, Gérard, and Georges Gonthier. 1992. “The Esterel Synchronous Programming Language: Design, Semantics, Implementation.” Sci. Comput. Program. 19 (2): 87–152. https://doi.org/10.1016/0167-6423(92)90005-V.

Caspi, Paul, Daniel Pilaud, Nicolas Halbwachs, and John Plaice. n.d. “Lustre: A Declarative Language for Programming Synchronous Systems.” In 14th Annual ACM Symposium on Principles of Programming Languages, 178–88. Munich, Germany: ACM Press. https://doi.org/10.1145/41625.41641.

Colaço, Jean-Louis, Bruno Pagano, and Marc Pouzet. n.d. “SCADE 6: A Formal Language for Embedded Critical Software Development (Invited Paper).” In 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, edited by Frédéric Mallet, Min Zhang, and Eric Madelaine, 1–11. Sophia Antipolis, France: IEEE Computer Society. https://doi.org/10.1109/TASE.2017.8285623.

Harel, David, and Amir Pnueli. n.d. “On the Development of Reactive Systems.” In Logics and Models of Concurrent Systems, edited by Krzysztof R. Apt, 477–98. Colle-sur-Loup (near Nice), France: Springer. https://doi.org/10.1007/978-3-642-82453-1\_17.

Le Guernic, Paul, Albert Benveniste, Patricia Bournai, and Thierry Gautier. 1986. “Signal-a Data Flow-Oriented Language for Signal Processing.” IEEE Trans. Acoust. Speech Signal Process. 34 (2): 362–74. https://doi.org/10.1109/TASSP.1986.1164809.

Maraninchi, Florence. n.d. “Operational and Compositional Semantics of Synchronous Automaton Compositions.” In CONCUR ’92, 3rd Ic. On Concurrency Theory, edited by Rance Cleaveland, 630:550–64. Lecture Notes in Computer Science. Stony Brook, NY, USA: Springer. https://doi.org/10.1007/BFb0084815.