Giese, H.2022-03-022022-03-0220040-86341-420-6https://publica.fraunhofer.de/handle/publica/140968Third International Workshop on Scenarios and State Machines. Models, Algorithms, and Tools, SCESM04