Generalized test tables: A powerful and intuitive specification language for reactive systems

@inproceedings{DBLP:conf/indin/WeiglWUUCKBV17,
	ids = {WeiglEtAl2017,AAAA},
	author = {['Alexander Weigl', 'Franziska Wiebe', 'Mattias Ulbrich', 'Sebastian Ulewicz', 'Suhyun Cha', 'Michael Kirsten', 'Bernhard Beckert', 'Birgit Vogel-Heuser']},
	title = {Generalized test tables: A powerful and intuitive specification
               language for reactive systems},
	booktitle = {15th IEEE International Conference on Industrial Informatics, INDIN
               2017, Emden, Germany, July 24-26, 2017},
	pages = {875–882},
	year = {2017},
	crossref = {DBLP:conf/indin/2017},
	url = {https://doi.org/10.1109/INDIN.2017.8104887},
	doi = {10.1109/INDIN.2017.8104887},
	timestamp = {Sat, 19 Oct 2019 20:28:17 +0200},
	biburl = {https://dblp.org/rec/conf/indin/WeiglWUUCKBV17.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}