Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani, Olga Runge. Self-Repairing systems modeling and verification using AGG. In Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009, Cambridge, UK, 14-17 September 2009. pages 181-190, IEEE, 2009. [doi]
Abstract is missing.