Teumert, S.; Krause, M.; Steffen, B. SOS-Supported Graph Transformation. eceasst 2023, 82.