References
This section shows how bibliographic references can be organized in a web book.
- 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. Download: people.rennes.inria.fr/Albert.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. Download: 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. Download: http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=6E666F4221CFED902DCA7BDF8DC51AB6?doi=10.1.1.127.3787&rep=rep1&type=pdf
- Forget J., Boniol F., Lesens D., and Pagetti C. (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. Download: "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=4708883&contentType=Conference+Publications
- Heckmann A., Hartweg S., Otter M., Toboláˇr J., and Brembeck J. (2012): The Modeling of Flexible Bodies in the object-oriented multi-domain Framework Modelica. 2nd Joint International Conference on Multibody System Dynamics, May 29–June 1, 2012, Stuttgart, Germany.
- 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. Download: http://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. Download: https://www.modelica.org/events/Conference2005/online_proceedings/Session3/Session3c3.pdf
- Pouzet M. (2006): Lucid Synchrone, Version 3.0, Tutorial and Reference Manual. Download: http://www.di.ens.fr/~pouzet/lucid-synchrone"