Gupta, Rohit [P:(DE-588)1374245313] ; Rumpe, Bernhard [P:(DE-82)IDM00045] ; Tichy, Matthias [P:(DE-82)1018161]