Self-Repairing systems modeling and verification using AGG