Sae Architecture Analysis And Design Language (Aadl) Annex Volume 2:Annex B: Data Modeling Annexannex D: Behavior Model Annexannex F: Arinc653 Annex