Kabir, Sohag, "Compositional dependability analysis of dynamic systems with uncertainty", , 2016