@techreport{Nagl25,
  author       = {Nagl, Manfred and Westfechtel, Bernhard},
  title        = {Specifications for Large Systems - Architectures for Graph Rewriting},
  institution  = {RWTH Aachen University},
  keywords     = {},
  year         = {2025},
  number       = {AIB-2025-02},
  month        = oct,
  doi          = {10.18154/RWTH-2025-09014},
  url          = {https://publications.rwth-aachen.de/record/1020463/files/1020463.pdf}
}