User-oriented verification of automation stationsRalf Ulmer and Jochen MüllerE3S Web Conf., 111 (2019) 05024DOI: https://doi.org/10.1051/e3sconf/201911105024