Yin Lu, Yunwei Dong, Xiaomin Wei, Mingrui Xiao: A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models. QRS Companion 2018: 294-300