A. Boulis, A. Fehnker, M. Fruth, und A. McIver. QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, Seite 37--38. Washington, DC, USA, IEEE Computer Society, (2008)
A. Fehnker, M. Fruth, und A. McIver. Methods, Models and Tools for Fault Tolerance, Volume 5454 von Lecture Notes in Computer Science, Springer, (2009)