Chatterjee, Krishnendu [0000-0002-4561-241X] ; Katoen, Joost-Pieter [P:(DE-82)IDM00048] ; Mohr, Stefanie [0000-0002-8630-3218] ; Weininger, Maximilian [0000-0002-0163-2152] ; Winkler, Tobias [P:(DE-82)IDM03625]