Metzler, Mareike [P:(DE-82)1022057] ; Noll, Thomas [P:(DE-82)IDM01580] ; Katoen, Joost-Pieter [P:(DE-82)IDM00048]