1. Miller, J., Mukerji, J.: MDA Guide Version 1.0.1. Object Management Group, OMG (2003)
2. OMG: Object Management Group (2008), http://www.omg.org
3. Barbosa, P., Ramalho, F., Figueiredo, J., Junior, A.: An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. In: Proceedings of 32nd Annual IEEE Software Engineering Workshop (2008)
4. Girault, C.V.R.: Petri Nets for Systems Engineering. In: XV, 607 p., Hardcover (2003)
5. Gomes, L., Barros, J.P., Costa, A., Pais, R., Moutinho, F.: Formal Methods for Embedded Systems Co-design: the FORDESIGN Project. In: ReCoSoC 2005- Reconfigurable Communication-centric Systems-on-Chip - Workshop Proceedings (2005)