Alberti, F.; Ghilardi, S.; Pagani, E.; Ranise, S.; Rossi, G. Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: A Case Study. eceasst 2011, 35.