Passage-time computation and aggregation strategies for large semi-Markov processes - Guenther, MC; Dingle, NJ; Bradley, JT; Knottenbelt, WJ (PERFORMANCE EVALUATION, 2011)