Early Validation of Control Software for Automation Plants on the Example of a Seawater Desalination Plant. - Veronika Brandstetter; Andreas Froese; Bastian Tenbergen; Andreas Vogelsang; Jan Christoph Wehrstedt; Thorsten Weyer (CAiSE Forum, 2015)

Early Validation of Automation Plant Control Software using Simulation Based on Assumption Modeling and Validation Use Cases. - Veronika Brandstetter; Andreas Froese; Bastian Tenbergen; Andreas Vogelsang; Jan Christoph Wehrstedt; Thorsten Weyer (Complex Syst. Informatics Model. Q., 2015)

Early Validation of Engineering Artifacts. - Karsten Albers; Peter Battram; Alfred Bognar; Veronika Brandstetter; Andreas Froese; Bastian Tenbergen; Andreas Vogelsang; Joachim Wegener (Advanced Model-Based Engineering of Embedded Systems, 2016)