Sae Architecture Analysis And Design Language (Aadl) Annex Volume 1: Annex A: Arinc653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex