Longo, F., and M. Scarpa,  "Two-layer symbolic representation for stochastic models with phase-type distributed events",  International Journal of Systems Science, vol. 46, no. 9: Taylor and Francis Ltd., pp. 1540-1571, 2015.