[1]   Gregory W. Bond. Timed transition activation semantics in Statecharts. Technical Report TD-6H4L5S, AT&T, 2005. Available from:

[2]   Gregory W. Bond and Healfdene H. Goguen. ECharts: balancing design and implementation. In M.H. Hamza, editor, Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), pages 149-155. ACTA Press, 2002. Available from:

[3]   Gregory W. Bond and Healfdene H. Goguen. ECharts: From lab to production. Technical Report TD-6FSMWT, AT&T, 2005. Available from:

[4]   Emden R. Gansner and Stephen C. North. An open graph visualization system and its applications to software engineering. Software -- Practice and Experience, 30(11):1203-1233, 2000. Available from:

[5]   Eleftherios Koutsofios and Stephen C. North. Drawing graphs with dot. Available from

[6]   Object Management Group. OMG Unified Modeling Language Superstructure Specification, version 2.0. Object Management Group, August 2005. Available from:

[7]   Thomas M. Smith and Gregory W. Bond. ECharts for SIP servlets: a state-machine programming environment for VoIP applications. In IPTComm ’07: Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications, pages 89-98, New York, NY, USA, 2007. ACM. Available from: