Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4

Appendix F Literature

Benveniste A., Caspi P., Edwards S.A., Halbwachs N., Le Guernic P., and Simone R. (2003): The Synchronous Languages Twelve Years Later. Proc. of the IEEE, Vol., 91, No. 1.

Colaco J.-L., and Pouzet M. (2003): Clocks as First Class Abstract Types. In Third International Conference on Embedded Software (EMSOFT’03), Philadelphia, Pennsylvania, USA, October 2003.

Elmqvist H., Otter M. and Cellier F.E. (1995): Inline Integration: A New Mixed Symbolic/Numeric Approach for Solving Differential-Algebraic Equation Systems. Keynote Address, Proceedings ESM’95, European Simulation Multiconference, Prague, Czech Republic, June 5-8, 1995, pp. xxiii-xxxiv.;jsessionid=6E666F4221CFED902DCA7BDF8DC51AB6?doi=

Forget J., F. Boniol, D. Lesens, C. Pagetti (2008): A Multi-Periodic Synchronous Data-Flow Language. In 11th IEEE High Assurance Systems Engineering Symposium (HASE’08), Dec. 3-5 2008, Nanjing, China, pp. 251-260.

Harel, D. (1987): Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231-274. Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel.

Looye G., Thümmel M., Kurze M., Otter M., and Bals J. (2005): Nonlinear Inverse Models for Control. Proceedings of 4th International Modelica Conference, ed. G. Schmitz, Hamburg, March 7-8.

Pouzet M. (2006): Lucid Synchrone, Version 3.0, Tutorial and Reference Manual.