Software Dependability Modeling Using AADL (Architecture Analysis and Design Language)
ANA-ELENA RUGINA, KARAMA KANOUN, and MOHAMED KAANICHE
Int J Performability Eng . 2011, (4): 313 -325 .  DOI: 10.23940/ijpe.11.4.p313.mag