1. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara. Hardware-Software Co-Design of Embedded Systems: The
Polis
Approach. Kluwer Academic, June 1997.
2. G. Berry. Esterel on hardware. Philosophical Transaction Royal Society of London 339:87–104, 1992.
3. G. Berry. The foundations of Esterel. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language, and Interaction: Essays in Honour of Robin Milner, pages 425–454. MIT Press, 2000.
4. G. Berry and E. Sentovich. An implementation of constructive synchronous constructive programs in Polis. Formal Methods in Systems Design, 17(2):165–191, October 2000.
5. B. Caillaud, P. Caspi, A. Girault, and C. Jard. Distributing automata for asynchronous networks of processors. European Journal of Automation (RAIRO-APIIJESA), 31(3):503–524, 1997. Research Report Inria 2341.