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. www.irisa.fr/distribcom/-benveniste/pub/synch_ProcIEEE_2002.pdf

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.
http://www.di.ens.fr/~pouzet/lucid-synchrone/papers/emsoft03.ps.gz

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. http://citeseerx.ist.psu.edu/viewdoc/download;

jsessionid=6E666F4221CFED902DCA7BDF8DC51AB6?doi=10.1.1.127.3787&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=6E666F4221CFED902DCA7BDF8DC51AB6?doi=10.1.1.127.3787&rep=rep1&type=pdf

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. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=4708883&contentType=Conference+Publications

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. www.inf.ed.ac.uk/teaching/courses/seoc1/-2005_2006/resources/statecharts.pdf

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.
https://www.modelica.org/events/Conference2005/online_proceedings/Session3/Session3c3.pdf
Pouzet M. (2006): Lucid Synchrone, Version 3.0, Tutorial and Reference Manual.
http://www.di.ens.fr/~pouzet/lucid-synchrone/