Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation. - Boris Flotterer; Maria Maximova; Sven Schneider 001; Johannes Dyck; Christian Zöllner 002; Holger Giese; Christelle Hély; Cédric Gaucherel (Ecol. Informatics, 2023)