Sharvia, Septavera, Kabir, Sohag, Walker, Martin, Papadopoulos, Yiannis, "Model-based dependability analysis : state-of-the-art, challenges and future outlook", , 2015