mls.bib

@Article{BenvenisteEtAl2003SynchronousTwelveYearsLater,
  author = {Benveniste, A. and Caspi, P. and Edwards, S.A. and Halbwachs, N. and Le Guernic, P. and Simone, R.},
  title = {The Synchronous Languages Twelve Years Later},
  year = {2003},
  journal = {Proceedings of the {IEEE}},
  volume = {91},
  number = {1},
  url = {https://doi.org/10.1109/JPROC.2002.805826},
}

@InProceedings{ColacoPouzet2003ClocksFirstClass,
  author = {Colaco, J.-L. and Pouzet, M.},
  title = {Clocks as First Class Abstract Types},
  year = {2003},
  month = oct,
  booktitle = {Third International Workshop on Embedded Software, {EMSOFT} 2003},
  address = {Philadelphia, Pennsylvania, {USA}},
  url = {http://www.di.ens.fr/~pouzet/lucid-synchrone/papers/emsoft03.ps.gz},
}

@InProceedings{ElmqvistOtterCellier1995InlineIntegration,
  author = {Elmqvist, H. and Otter, M. and Cellier, F.E.},
  title = {Inline Integration: A New Mixed Symbolic/Numeric Approach for Solving Differential-Algebraic Equation Systems},
  year = {1995},
  month = jun,
  day = {5--8},
  booktitle = {Proceedings of {ESM}’95, European Simulation Multiconference},
  pages = {xxiii--xxxiv},
  address = {Prague, Czech Republic},
  url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.127.3787\&rep=rep1\&type=pdf},
}

@InProceedings{ForgetEtAl2008MultiPeriodic,
  author = {Forget, J. and Boniol, F. and Lesens, D. and Pagetti, C.},
  title = {A Multi-Periodic Synchronous Data-Flow Language},
  year = {2008},
  month = dec,
  day = {3--5},
  booktitle = {11\textsuperscript{th} {IEEE} High Assurance Systems Engineering Symposium ({HASE}'08)},
  pages = {251--260},
  address = {Nanjing, China},
  url = {https://doi.org/10.1109/HASE.2008.47},
}

@Article{Harel1987Statecharts,
  author = {Harel, D.},
  organization = {Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel},
  title = {Statecharts: A Visual Formalism for Complex Systems},
  journal = {Science of Computer Programming},
  year = {1987},
  volume = {8},
  pages = {231--274},
  url = {http://www.inf.ed.ac.uk/teaching/courses/seoc1/2005_2006/resources/statecharts.pdf},
}

@InProceedings{ThummelEtAl2005InverseModels,
  author = {Thümmel, M. and Looye, G. and Kurze, M. and Otter, M. and Bals, J.},
  title = {Nonlinear Inverse Models for Control},
  year = {2005},
  month = mar,
  day = {7--8},
  booktitle = {Proceedings of 4\textsuperscript{th} International Modelica Conference, ed. G. Schmitz},
  address = {Hamburg, Germany},
  url = {https://www.modelica.org/events/Conference2005/online_proceedings/Session3/Session3c3.pdf},
}

@Manual{Pouzet2006LucidSynchrone30,
  author = {Pouzet, M.},
  title = {Lucid Synchrone, Version 3.0, Tutorial and Reference Manual},
  year = {2006},
  url = {http://www.di.ens.fr/~pouzet/lucid-synchrone/},
}