참고문헌
- G. Berry, “The Esterel Primer,” Included in the Esterel distribution, Available on http://www.inria.fr/meije/personnel/Gerard.Berry.html, 1998
- G. Berry, "The Constructive Semantics of Pure ESTEREL," Draft book available at http://www.inria.fr/meije/esterel/esterel-eng.html, 1999
- G. Berry, “The Foundations of Esterel. Proof, Lan-guage and Interaction: Essays in Honour of Robin Mimer,” pp.425-454, 2000
- D. Potop-Butucaru, S. A. Edwards. and G. Berry, “Compiling ESTEREL,” Springer, 2007
- N. Halbwachs, “Synchronous Programming of Reactive Systems,” Kluwer Academic Publishers, Dordrecht, 1993
- A. Benveniste, P. Caspi, S.A. Edwards, N. Halb-wachs, P. Le Guernic, and R. de Simone, "The Synchronous Languages 12 Years Later," Embe-dded Systems, Proceedings of the IEEE, 91(1):64-83, 2003 https://doi.org/10.1109/JPROC.2002.805826
- S. Benvenistre and G. Berry, "The synchronous approach to reactive real-time systems," Another Look of Real Time Programming, Proceedings of the IEEE, 79(9):1270-1282, 1991 https://doi.org/10.1109/5.97297
- G. Berry, “Preemption in concurrent systems,” In Proceedings of the 13th Conference on Founda-tions of Software Technology and Theoretical Computer Sdence, pp.72-93, Springer-Verlag, London, UK, 1993
- "CEC: The columbia esterel compiler v0.4," http://www1.cs.columbia.edu/^~sedeards/cec/
- S. A. Edwards and Jia Zeng, “Code Generation in the Columbia Esterel Compiler,” EURASIP Journal On Embedded Systems, Volume 2007, Article ID 52651, pp.31, 2007
- D. Potop-Butucaru, “Optimizations for faster exe-cution of Esterel programs,” in Proceedings of the 1st International Conference on Formal Methods and Models for Codesign (MEMOCODE'03), pp.227-236, Mont St. Michel, France, June 2003
- K. Schneider, “Embedding Imperative Synchronous Languages in Interactive Theorem Provers,” ACSD, pp.143, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001
- S. Ramesh, A. Kulkarni, V. Kamat, “Slicing tools for synchronous reactive programs,” Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, July 2004 https://doi.org/10.1145/1007512.1007541
- A. R. Kulkarni, S. Ramesh, "Static Slicing of Reactive Programs," scam, pages 98, Third IEEE International Workshop on Source Code Analysis and Manipulation, 2003
- “Estbench esterel benchmark suite,” http://www1.cs.columbia.edu/~sedwards/software/estbench-1.0.tar.gz
- S. Ramesh, Ramesh's homepage. http://www.cse.iitb.ac.in/~ramesh