Mian, Zhibao, Bottaci, Leonardo, Papadopoulos, Yiannis, Biehl, Matthias, "System dependability modelling and analysis using AADL and HiP-HOPS", , 2012