A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs | IEEE Conference Publication | IEEE Xplore