"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.
"Symbolic representation techniques in dynamic reliability evaluation", Proceedings of the 12th IEEE International Symposium on High Assurance Systems Engineering (HASE), San Jose, CA, United States, 3-4 November 2010, IEEE Computer Society, pp. 45-53, 2010.