Basil Becker, Holger Giese: Modeling of correct self-adaptive systems: a graph transformation system based approach. CSTST 2008: 508-516