1. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Berlin (1992)
2. Harel, D., Thiagarajan, P.S.: Message sequence charts. In: Lavagno, L., Martin, G., Selic, B. (eds.) UML for Real – Design of Embedded Real-Time Systems, pp. 77–105. Kluwer Academic Publishers, Dordrecht (2003)
3. Berry, G., Couronne, P., Gonthier, G.: Synchronous programming of reactive systems: an introduction to Esterel. In: 1st. Franco-Japanese Symposium on Programming of Future Generation Computers, pp. 35–56. Elsevier, Amsterdam (1988)
4. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language Lustre. Proceedings of the IEEE 79(9), 1305–1320 (1991)
5. LeGuernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with SIGNAL. Proceedings of the IEEE 79(9), 1321–1336 (1991)