L. Laibinis, E. Troubitsyna, and S. Leppänen. Methods, Models and Tools for Fault Tolerance, volume 5454 of Lecture Notes in Computer Science, Springer, (2009)
J. Ruohonen, and V. Leppänen. (2017)cite arxiv:1710.05570Comment: Forthcoming in the Proceedings of the 24th Asia-Pacific Software Engineering Conference http://www.apsec2017.org/.