1. 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, pp. 425–454. MIT Press, 2000.
2. A. Benveniste, P. Le Guernic, and C. Jacquemot. Synchronous programming with events and relations: The Signal language and its semantics. Science of Computer Programming, 16:103–149, 1991.
3. P. Clements. A survey of architecture description languages. In Proc. 8thInternational Workshop on Software Specification and Design, pp. 16–25. IEEE Computer Society Press, 1996.
4. R. P. G. Collinson. Fly-by-wire flight control. Computing &Control Engineering, 10:141–152, 1999.
5. J. Davis, M. Goel, C. Hylands, B. Kienhuis, E. A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong. Ptolemy II: Heterogeneous Concurrent Modeling and Design in Java. Technical Report UCB/ERLM99/ 44, University of California, Berkeley, 1999.