Reinhard HametnerBenjamin KormannBirgit Vogel-HeuserDietmar Winkler 0001Alois ZoitlAutomated Test Case Generation for Industrial Control Applications.263-2732011ICARA (selected extended papers)https://doi.org/10.1007/978-3-642-37387-9_20https://www.wikidata.org/entity/Q57391065conf/icara/2011sdb/conf/icara/icara2011s.html#HametnerKVWZ11a