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