@article{SchneiderMaximovaSakizloglouetal.2021,
  author    = {Sven Schneider and Maria Maximova and Lucas Sakizloglou and Holger Giese},
  title     = {Formal testing of timed graph transformation systems using metric temporal graph logic},
  journal   = {International journal on software tools for technology transfer},
  volume    = {23},
  number    = {3},
  pages     = {411 -- 488},
  doi       = {10.1007/s10009-020-00585-w},
  year      = {2021},
}