@inproceedings(signal,
 author       = {Amagb\IeC{\'e}gnon, P. and L. Besnard and P. Le Guernic},
 year         = {1995},
 title        = {Implementation of the Data-flow Synchronous Language {SIGNAL}},
 booktitle    = {Conference on Programming Language Design and Implementation},
 publisher    = {ACM Press},
 pages        = {163--173},
 doi          = {10.1145/207110.207134},
)
@article(DBLP:journals/pieee/BenvenisteCEHGS03,
 author       = {Albert Benveniste and Paul Caspi and Stephen A. Edwards and Nicolas Halbwachs and Paul Le Guernic and Robert de Simone},
 year         = {2003},
 title        = {The synchronous languages 12 years later},
 journal      = {Proceedings of the {IEEE}},
 volume       = {91},
 number       = {1},
 pages        = {64--83},
 doi          = {10.1109/JPROC.2002.805826},
)
@article(esterel,
 author       = {G. Berry and G. Gonthier},
 year         = {1992},
 title        = {The ESTEREL synchronous programming language: design,\newline semantics, implementation},
 journal      = {Sci. Comput. Program.},
 volume       = {19},
 number       = {2},
 pages        = {87--152},
 doi          = {10.1016/0167-6423(92)90005-V},
)
@inproceedings(DBLP:conf/lctrts/BiernackiCHP08,
 author       = {Dariusz Biernacki and Cola{\c{c}}o, Jean{-}Louis and Gr{\'{e}}goire Hamon and Marc Pouzet},
 year         = {2008},
 title        = {Clock-directed modular code generation for synchronous data-flow languages},
 editor       = {Kriszti{\'{a}}n Flautner and John Regehr},
 booktitle    = {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},
 publisher    = {{ACM}},
 pages        = {121--130},
 doi          = {10.1145/1375657.1375674},
)
@inproceedings(DBLP:conf/popl/CaspiPHP87,
 author       = {Paul Caspi and Daniel Pilaud and Nicolas Halbwachs and John Plaice},
 year         = {1987},
 title        = {Lustre: {A} Declarative Language for Programming Synchronous Systems},
 booktitle    = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987},
 publisher    = {{ACM} Press},
 pages        = {178--188},
 doi          = {10.1145/41625.41641},
)
@inproceedings(DBLP:conf/emsoft/ColacoHP06,
 author       = {Cola{\c{c}}o, Jean{-}Louis and Gr{\'{e}}goire Hamon and Marc Pouzet},
 year         = {2006},
 title        = {Mixing signals and modes in synchronous data-flow systems},
 editor       = {Sang Lyul Min and Wang Yi},
 booktitle    = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
 publisher    = {{ACM}},
 pages        = {73--82},
 doi          = {10.1145/1176887.1176899},
)
@inproceedings(DBLP:conf/emsoft/ColacoPP05,
 author       = {Cola{\c{c}}o, Jean{-}Louis and Bruno Pagano and Marc Pouzet},
 year         = {2005},
 title        = {A conservative extension of synchronous data-flow with state machines},
 editor       = {Wayne Wolf},
 booktitle    = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM} International Conference On Embedded Software, Proceedings},
 publisher    = {{ACM}},
 pages        = {173--182},
 doi          = {10.1145/1086228.1086261},
)
@misc(do178,
 author       = {DO-178b},
 title        = {Software Considerations in Airborne Systems and Equipment Certification},
)
@misc(scade,
 author       = {Esterel Technologies, Inc.},
 title        = {SCADE},
 url          = {http://www.esterel-technologies.com/products/scade-suite/},
)
@inproceedings(DBLP:journals/corr/GarocheGK14,
 author       = {Pierre{-}Lo{\"{\i}}c Garoche and Arie Gurfinkel and Temesghen Kahsai},
 year         = {2014},
 title        = {Synthesizing Modular Invariants for Synchronous Code},
 editor       = {Bj{\o}rner, Nikolaj and Fabio Fioravanti and Andrey Rybalchenko and Valerio Senni},
 booktitle    = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis, {HCVS} 2014, Vienna, Austria, 17 July 2014.},
 series       = {{EPTCS}},
 volume       = {169},
 pages        = {19--30},
 doi          = {10.4204/EPTCS.169.4},
)
@misc(lustrec,
 author       = {Pierre{-}Lo{\"{\i}}c Garoche and Temesghen Kahsai and Xavier Thirioux},
 title        = {Lustre{C}},
 url          = {https://github.com/coco-team/lustrec},
)
@inproceedings(lustre2,
 author       = {N. Halbwachs and P. Caspi and P. Raymond and D. Pilaud},
 year         = {1991},
 title        = {The synchronous dataflow programming language LUSTRE},
 booktitle    = {Proceedings of the IEEE},
 pages        = {1305--1320},
 doi          = {10.1109/5.97300},
)
@inproceedings(DBLP:conf/fase/HamonR04,
 author       = {Gr{\'{e}}goire Hamon and John M. Rushby},
 year         = {2004},
 title        = {An Operational Semantics for Stateflow},
 editor       = {Michel Wermelinger and Tiziana Margaria},
 booktitle    = {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},
 series       = {Lecture Notes in Computer Science},
 volume       = {2984},
 publisher    = {Springer},
 pages        = {229--243},
 doi          = {10.1007/978-3-540-24721-0\_17},
)
@article(Harel:1987:SVF,
 author       = {David Harel},
 year         = {1987},
 title        = {Statecharts: A Visual Formalism for Complex Systems},
 journal      = {Sci. Comput. Program.},
 volume       = {8},
 number       = {3},
 pages        = {231--274},
 doi          = {10.1016/0167-6423(87)90035-9},
)
@book(Harel:1998:MRS,
 author       = {David Harel and Michal Politi},
 year         = {1998},
 title        = {Modeling Reactive Systems with Statecharts: The Statemate Approach},
 edition      = {1st},
 publisher    = {McGraw-Hill, Inc.},
 address      = {New York, NY, USA},
)
@incollection(pdr,
 author       = {Kry\IeC{\v s}tof Hoder and Bj\IeC{\o}rner, Nikolaj},
 year         = {2012},
 title        = {Generalized Property Directed Reachability},
 editor       = {Alessandro Cimatti and Roberto Sebastiani},
 booktitle    = {Theory and Applications of Satisfiability Testing \IeC{\textendash} SAT 2012},
 series       = {LNCS},
 volume       = {7317},
 pages        = {157--171},
 doi          = {10.1007/978-3-642-31612-8\_13},
)
@inproceedings(DBLP:journals/corr/abs-1111-0372,
 author       = {Temesghen Kahsai and Cesare Tinelli},
 year         = {2011},
 title        = {PKind: {A} parallel k-induction based model checker},
 editor       = {Jiri Barnat and Keijo Heljanko},
 booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14, 2011.},
 series       = {{EPTCS}},
 volume       = {72},
 pages        = {55--62},
 doi          = {10.4204/EPTCS.72.6},
)
@inproceedings(DBLP:conf/cav/KomuravelliGCC13,
 author       = {Anvesh Komuravelli and Arie Gurfinkel and Sagar Chaki and Edmund M. Clarke},
 year         = {2013},
 title        = {Automatic Abstraction in SMT-Based Unbounded Software Model Checking},
 editor       = {Natasha Sharygina and Helmut Veith},
 booktitle    = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8044},
 publisher    = {Springer},
 pages        = {846--862},
 doi          = {10.1007/978-3-642-39799-8\_59},
)
@incollection(Maraninchi:1998:Mode,
 author       = {Florence Maraninchi and R\IeC{\'e}mond, Yann},
 year         = {1998},
 title        = {Mode-automata: About modes and states for reactive systems},
 editor       = {Chris Hankin},
 booktitle    = {Programming Languages and Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {1381},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {185--199},
 doi          = {10.1007/BFb0053571},
)
@misc(simulink,
 author       = {The MathWorks, Inc.},
 title        = {Simulink},
 url          = {http://www.mathworks.com/products/simulink/},
)
@misc(stateflow,
 author       = {The MathWorks, Inc.},
 title        = {Stateflow},
 url          = {http://www.mathworks.com/products/stateflow/},
)
@inproceedings(DBLP:conf/concur/UseltonS94,
 author       = {Andrew C. Uselton and Scott A. Smolka},
 year         = {1994},
 title        = {A Compositional Semantics for Statecharts using Labeled Transition Systems},
 editor       = {Bengt Jonsson and Joachim Parrow},
 booktitle    = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {836},
 publisher    = {Springer},
 pages        = {2--17},
 doi          = {10.1007/BFb0014994},
)