Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra: System-Level Validation bei hugendubel.de