Generation of monitoring functions in production automation using test specifications

@inproceedings{DBLP:conf/indin/ChaUVWUB17,
	ids = {ChaEtAl2017},
	author = {['Suhyun Cha', 'Sebastian Ulewicz', 'Birgit Vogel-Heuser', 'Alexander Weigl', 'Mattias Ulbrich', 'Bernhard Beckert']},
	title = {Generation of monitoring functions in production automation using
               test specifications},
	booktitle = {15th IEEE International Conference on Industrial Informatics, INDIN
               2017, Emden, Germany, July 24-26, 2017},
	pages = {339–344},
	year = {2017},
	crossref = {DBLP:conf/indin/2017},
	url = {https://doi.org/10.1109/INDIN.2017.8104795},
	doi = {10.1109/INDIN.2017.8104795},
	timestamp = {Sat, 19 Oct 2019 20:28:16 +0200},
	biburl = {https://dblp.org/rec/conf/indin/ChaUVWUB17.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}