Distefano, S., F. Longo, and M. Scarpa,  "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.