Dependability analysis for large systems: A hierarchical modeling approach | IEEE Conference Publication | IEEE Xplore