Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation - Flotterer, Boris (Verfasser); Maximova, Maria (Verfasser); Schneider, Sven (Verfasser); Dyck, Johannes (Verfasser); Zöllner, Christian (Verfasser); Giese, Holger (Verfasser); Hély, Christelle (Verfasser); Gaucherel, Cédric (Verfasser) (Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam, 2022)