Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation