An Analysis Tool Towards Fault Tolerance Systems based on AADL Error Model
Wenbing Zhang, Guohua Shen, Zhiqiu Huang, Zhibin Yang, and Lei Xue
Int J Performability Eng . 2017, (6): 844 -853 .  DOI: 10.23940/ijpe.17.06.p6.844853