User-oriented verification of automation stations Ralf Ulmer and Jochen Müller E3S Web Conf., 111 (2019) 05024 Published online: 13 August 2019 DOI: 10.1051/e3sconf/201911105024