Hierarchical Dependability Models based on Non-Homogeneous Continuous Time Markov Chains | IEEE Conference Publication | IEEE Xplore