Alberti, F. (2011) “Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study”, Electronic Communications of the EASST, 35. doi: 10.14279/tuj.eceasst.35.543.