Bodeveix, Chemouil, Filali, Strecker, 2005. Towards formalising AADL in Proof Assistants 141.. https://doi.org/10.1016/j.entcs.2005.05.008