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.