Alberti, F., Ghilardi, S., Pagani, E., Ranise, S., & Rossi, G. (2011). Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. Electronic Communications of the EASST, 35. https://doi.org/10.14279/tuj.eceasst.35.543