Hartmanns, Arnd [0000-0003-3268-8674] ; Junges, Sebastian [P:(DE-82)IDM01624] ; Katoen, Joost-Pieter [P:(DE-82)IDM00048] ; Quatmann, Tim [P:(DE-82)IDM01389]