An Aggregation Principle for Computing Invariant Probability Vectors for Semi-Markovian Models