Self-Repairing systems modeling and verification using AGG. - Antonio Bucchiarone; Patrizio Pelliccione; Charlie Vattani; Olga Runge (WICSA/ECSA, 2009)