8. The XMI Specification for AADL
This section provides the complete XMI specification for AADL.  This specification was generated from the Ecore meta mdoel of AADL. This specification is also available electronically at www.aadl.info.