Hierarchical composition and aggregation of state-based availability and performability models | IEEE Journals & Magazine | IEEE Xplore