Two-layer symbolic representation for stochastic models with phase-type distributed events