Wang, Qiuye ; Chen, Mingshuai [P:(DE-82)IDM03675] ; Xue, Bai [0000-0001-9717-846X] ; Zhan, Naijun ; Katoen, Joost-Pieter [P:(DE-82)IDM00048]