References

• A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. d. Simone (2003) The synchronous languages twelve years later. Proceedings of the IEEE 91 (1). External Links: Link Cited by: 10th item.
• J. Colaço and M. Pouzet (2003) Clocks as first class abstract types. In Third International Workshop on Embedded Software, EMSOFT 2003, Philadelphia, Pennsylvania, USA. External Links: Link Cited by: 10th item.
• H. Elmqvist, M. Otter, and F. E. Cellier (1995) Inline integration: a new mixed symbolic/numeric approach for solving differential-algebraic equation systems. In Proceedings of ESM’95, European Simulation Multiconference, Prague, Czech Republic, pp. xxiii–xxxiv. External Links: Link Cited by: §16.8.2.
• J. Forget, F. Boniol, D. Lesens, and C. Pagetti (2008) A multi-periodic synchronous data-flow language. In 11^th IEEE High Assurance Systems Engineering Symposium (HASE’08), Nanjing, China, pp. 251–260. External Links: Link Cited by: 10th item.
• D. Harel (1987) Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, pp. 231–274. External Links: Link Cited by: Chapter 17.
• C. C. Pantelides (1988) The consistent initialization of differential-algebraic systems. SIAM Journal on Scientific and Statistical Computing 9 (2), pp. 213––231. External Links: Link Cited by: footnote 1.
• M. Pouzet (2006) Lucid synchrone, version 3.0, tutorial and reference manual. External Links: Link Cited by: 10th item, Chapter 17.
• M. Thümmel, G. Looye, M. Kurze, M. Otter, and J. Bals (2005) Nonlinear inverse models for control. In Proceedings of 4^th International Modelica Conference, ed. G. Schmitz, Hamburg, Germany. External Links: Link Cited by: item 5, §16.8.