Passage-time computation and aggregation strategies for large semi-Markov processes