1. Aadl model for the avionics case study, http://aadl.sei.cmu.edu/aadl/downloads/Models/IntegratedModel10292007.zip
2. Enterprise Architect Tool, http://www.sparxsystems.com/
3. FMC Technologies, Inc., http://www.fmctechnologies.com/
4. IBM Rational Rhapsody Architect for Systems Engineers, http://www-01.ibm.com/software/rational/products/rhapsody/sysarchitect/
5. MagicDraw SysML Plugin, http://www.magicdraw.com/sysml