Automated Data-Flow Analysis and Validation in Process Automation Projects. - Lars Beyer; Jan C. Dageförde; Herbert Kuchen; Claus A. Usener (SoMeT, 2019)