1. Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, November 1993, vol. F-13, pp. 477–498. Springer, New York (1993)
2. Harel, D.: On visual formalisms. Comm. Assoc. Comput. Mach. 31(5), 514–530 (1988)
3. I-Logix Inc,
http://www.ilogix.com
4. Macromedia Inc,
http://www.macromedia.com
5. Weiringa, R.J.: Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, Boston (2002)