Mian, Z., Bottaci, L., Papadopoulos, Y., & Biehl, M. System dependability modelling and analysis using AADL and HiP-HOPS