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
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/