Automated and Systematic Digital Twins Testing for Industrial Processes. - Yunpeng Ma; Khalil Younis; Bestoun S. Ahmed; Andreas Kassler; Pavel Krakhmalev; Andreas Thore; Hans Lindback (ICSTW, 2023)