1. Alves, E., Machado, P., & Ramalho, F. (2012). Automatic generation of built-in contract test drivers. Software & Systems Modeling, pp. 1–25. doi: 10.1007/s10270-012-0282-8 (published online first).
2. AMMA Project. (2009). Atlas transformation language. http://www.sciences.univ-nantes.fr/lina/atl/ .
3. Costa, P., Shull, F., & Melo, W. (2006). Getting requirements right: The perspective-based reading technique and the rational unified process. http://www.ibm.com/developerworks/rational/library/sep06/melo_costa_shull/ .
4. Dinh-Trong, T., Kawane, N., Ghosh, S., France, R., & Andrews, A. A. (2005). A tool-supported approach to testing UML design models. In Proceedings of the 10th IEEE international conference on engineering of complex computer systems, IEEE Computer Society, Washington, DC, USA, ICECCS ’05, pp. 519–528.
5. Eclipse Project. (2009). Mofscript user guide. http://www.eclipse.org/gmt/mofscript/doc/ MOFScript-User-Guide.pdf.