A hybrid synchronous language with hierarchical automata
Albert Benveniste, Timothy Bourke, Benoı̂t Caillaud, Marc Pouzet · 2011
Hybrid modeling tools like Simulink have evolved from simulation platforms into development platforms on which testing, verification and code generation are also performed. It is critical to ensure that the results of simulation, compilation and verification are consistent. Synchronous languages have addressed these issues but only for discrete systems.