REFERENCIAS

[1] Object Management Group, “Unified Modeling Language: Infrastructure v.2.0”, 2006

[2] D. Harel, “Statecharts: a Visual Formalism for Complex Systems”, Science of

Computer Programming 8, 1987, pp. 231-274

[3] M. Samek, “Practical Statecharts in C/C++”, CMP Books, 2002

[4] “Quantum Event Processor/C++, Programmer’s Manual”, 2005, http://www.quantum-

leaps.com

[5] A. Wąsowski, “Code Generation and Model Driven Development for Constrained Embedded
Software, PhD Dissertation”, University of Copenhagen, 2005

[6] E. Gamma, R.Helm, R. Johnson, J, Vlissedes, “Design Patterns, Elements of

Reusable Object-Oriented Software”, Addison Wesley, 1995

[7] “The Eclipse – an Open Development Platform”, http://www.eclipse.org

[8] The Apache Software Foundations, “The Apache Velocity Project”, http://velocity.apache.org
[9] “JDOM – Java-based Document Object Model for XML Files”, http://www.jdom.org

[10] “Velocity Editor Plug-in for Eclipse”, http://veloedit.sourceforge.net

[11] I-Logix, “Raphsody, Model-Driven Development Environment”, http://www.ilogix.com

[12] “StarUML – The Open Source UML/MDA Platform”, http://staruml.sourceforge.net

[13] Gentleware AG, “Poseidon for UML”, http://www.gentleware.com

[14] IAR Systems, “VisualSTATE, State Machine Design, Test and Verification
Tool”, http://www.iar.com [16] “Category Theory”, Stanford Encyclopedia of
Philosophy, 1996, http://plato.stanford.edu/entries/category-theory/