P. Amagbégnon, L. Besnard & P. Le Guernic (1995):
Implementation of the Data-flow Synchronous Language SIGNAL.
In: Conference on Programming Language Design and Implementation.
ACM Press,
pp. 163–173,
doi:10.1145/207110.207134.
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic & Robert de Simone (2003):
The synchronous languages 12 years later.
Proceedings of the IEEE 91(1),
pp. 64–83,
doi:10.1109/JPROC.2002.805826.
G. Berry & G. Gonthier (1992):
The ESTEREL synchronous programming language: design, semantics, implementation.
Sci. Comput. Program. 19(2),
pp. 87–152,
doi:10.1016/0167-6423(92)90005-V.
Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon & Marc Pouzet (2008):
Clock-directed modular code generation for synchronous data-flow languages.
In: Krisztián Flautner & John Regehr: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008.
ACM,
pp. 121–130,
doi:10.1145/1375657.1375674.
Paul Caspi, Daniel Pilaud, Nicolas Halbwachs & John Plaice (1987):
Lustre: A Declarative Language for Programming Synchronous Systems.
In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987.
ACM Press,
pp. 178–188,
doi:10.1145/41625.41641.
Jean-Louis Colaço, Grégoire Hamon & Marc Pouzet (2006):
Mixing signals and modes in synchronous data-flow systems.
In: Sang Lyul Min & Wang Yi: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea.
ACM,
pp. 73–82,
doi:10.1145/1176887.1176899.
Jean-Louis Colaço, Bruno Pagano & Marc Pouzet (2005):
A conservative extension of synchronous data-flow with state machines.
In: Wayne Wolf: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings.
ACM,
pp. 173–182,
doi:10.1145/1086228.1086261.
DO-178b:
Software Considerations in Airborne Systems and Equipment Certification.
N. Halbwachs, P. Caspi, P. Raymond & D. Pilaud (1991):
The synchronous dataflow programming language LUSTRE.
In: Proceedings of the IEEE,
pp. 1305–1320,
doi:10.1109/5.97300.
Grégoire Hamon & John M. Rushby (2004):
An Operational Semantics for Stateflow.
In: Michel Wermelinger & Tiziana Margaria: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings,
Lecture Notes in Computer Science 2984.
Springer,
pp. 229–243,
doi:10.1007/978-3-540-24721-0_17.
David Harel (1987):
Statecharts: A Visual Formalism for Complex Systems.
Sci. Comput. Program. 8(3),
pp. 231–274,
doi:10.1016/0167-6423(87)90035-9.
David Harel & Michal Politi (1998):
Modeling Reactive Systems with Statecharts: The Statemate Approach,
1st edition.
McGraw-Hill, Inc.,
New York, NY, USA.
Kryštof Hoder & Nikolaj Bj\IeCø rner (2012):
Generalized Property Directed Reachability.
In: Alessandro Cimatti & Roberto Sebastiani: Theory and Applications of Satisfiability Testing SAT 2012,
LNCS 7317,
pp. 157–171,
doi:10.1007/978-3-642-31612-8_13.
Temesghen Kahsai & Cesare Tinelli (2011):
PKind: A parallel k-induction based model checker.
In: Jiri Barnat & Keijo Heljanko: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011.,
EPTCS 72,
pp. 55–62,
doi:10.4204/EPTCS.72.6.
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki & Edmund M. Clarke (2013):
Automatic Abstraction in SMT-Based Unbounded Software Model Checking.
In: Natasha Sharygina & Helmut Veith: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings,
Lecture Notes in Computer Science 8044.
Springer,
pp. 846–862,
doi:10.1007/978-3-642-39799-8_59.
Florence Maraninchi & Yann Rémond (1998):
Mode-automata: About modes and states for reactive systems.
In: Chris Hankin: Programming Languages and Systems,
Lecture Notes in Computer Science 1381.
Springer Berlin Heidelberg,
pp. 185–199,
doi:10.1007/BFb0053571.
Andrew C. Uselton & Scott A. Smolka (1994):
A Compositional Semantics for Statecharts using Labeled Transition Systems.
In: Bengt Jonsson & Joachim Parrow: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings,
Lecture Notes in Computer Science 836.
Springer,
pp. 2–17,
doi:10.1007/BFb0014994.