S. Teumert, M. Krause, and B. Steffen, “SOS-Supported Graph Transformation”, ECEASST, vol. 82, Oct. 2023.