Modeling and analysis of self-adaptive systems based on graph transformation - Bucchiarone, Antonio; Ehrig, Hartmut 1944-2016; Ermel, Claudia; Pellicione, Patrizio; Runge, Olga (Technische Universität Berlin, 2013)