Structured Verification of Machine Learning Models in Industrial Settings. - Sai Rahul Kaminwar; Jann Goschenhofer; Janek Thomas; Ingo Thon; Bernd Bischl (Big Data, 2023)