1. Architecture Analysis & Design Language (AADL) (Rev. C). Aerospace Standard AS5506C (2017)
2. Architecture analysis and design language (AADL) annex volume 1: Annex E: Error model annex (2015)
3. Aizpurua, J.I., Muxika, E.: Model-based design of dependable systems: limitations and evolution of analysis and verification approaches. Int. J. Adv. Secur. 6(1&2), 12–31 (2013)
4. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Depend. Secure Comput. 1(1), 11–33 (2004)
5. Sireum Awas (2018). https://awas.sireum.org