Winkler, Tobias [P:(DE-82)IDM03625] ; Junges, Sebastian [P:(DE-82)IDM01624] ; Pérez, Guillermo A. ; Katoen, Joost-Pieter [P:(DE-82)IDM00048]