Mian, Zhibao, Bottaci, Leonardo, Papadopoulos, Yiannis, Mahmud, Nidhal, "Model transformation for analyzing dependability of AADL model by using HiP-HOPS", Journal of Systems and Software, 2019