A Structured path-based approach for computing transient rewards of large CTMCs | IEEE Conference Publication | IEEE Xplore