F. Alberti, S. Ghilardi, E. Pagani, S. Ranise, and G. Rossi, “Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study”, eceasst, vol. 35, Apr. 2011.