@techreport{EMDS:1851093,
	author = {Darvas, D\'aniel and Blanco Vi{\~n}uela, Enrique and Majzik, Istv\'an},
	title = {What is special about {PLC} software model checking? -- {E}xtended version},
	institution = {CERN},
	year = {2017},
	type = {Technical report},
	number = {EDMS 1851093},
	url = {https://edms.cern.ch/ui/file/1851093/LATEST/THPHA159-extended.pdf},
	bib-link = {CERN-EDMS-1851093.bib},
	xxxmtmt = {},
}