@inproceedings{578ae42c321141c28f0a49c728d0fdd4,
title = "Cronos: A separate compilation toolset for modular esterel applications",
abstract = "Esterel is an imperative synchronous language designed for the specification and the development of reactive systems. Recent studies pointed out that its use for the development of avionics software can yield great benefits but that the lack of support for separate compilation in the current toolset may be an obstacle to the development of large systems. This paper presents the Cronos framework which provides such support for some specific cases of Esterel programs.",
keywords = "Avionics Software, Compilation, Esterel, Synchronous Reactive Systems",
author = "Olivier Hainque and Laurent Pautet and Biannic, \{Yann Le\} and {\'E}ric Nassor",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999 ; Conference date: 20-08-1999 Through 24-08-1999",
year = "1999",
month = jan,
day = "1",
doi = "10.1007/3-540-48118-4\_47",
language = "English",
isbn = "3540665889",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "1836--1853",
editor = "Wing, \{Jeannette M.\} and Jim Woodcock and Jim Davies",
booktitle = "FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings",
}