https://www.sei.cmu.edu/library/aadl-fault-modeling-and-analysis-within-an-arp4761-safety-assessment/
AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment | CMU Software Engineering...
This report describes how the Architecture Analysis and Design Language (AADL) Error Model Annex supports the safety-assessment methods in SAE Standard ARP4761.