Veronika Brandstetter, Andreas Froese, Bastian Tenbergen, Andreas Vogelsang, Jan Christoph Wehrstedt, Thorsten Weyer. Early Validation of Automation Plant Control Software using Simulation Based on Assumption Modeling and Validation Use Cases. CSIMQ, 4:50-65, 2015. [doi]
Abstract is missing.