1. IBM Rational Software Architect V7.0. Available at http://www.ibm.com/software/awdtools/architect/swarchitect/index.html
2. OMONDO EclipseUML 3.2.0 Studio. Available at http://www.omondo.com
3. The Alloy Analyzer 4.0 http://alloy.mit.edu/
4. XSL transformations (XSLT), version 1.0. Available at http://www.w3.org/TR/xslt
5. GXL http://www.gupro.de/GXL (2005)