HyPLC: Hybrid programmable logic controller program translation for verification

@inproceedings{DBLP:conf/iccps/GarciaMP19,
	pdf = {pub/HyPLC.pdf},
	author = {['Luis Garcia', 'Stefan Mitsch', 'André Platzer']},
	title = {HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification},
	booktitle = {ICCPS},
	longbooktitle = {10th IEEE/ACM International Conference on Cyber-Physical Systems},
	year = {2019},
	editor = {['Linda Bushnell', 'Miroslav Pajic']},
	pages = {47-56 },
	publisher = {},
	isbn = {},
	doi = {10.1145/3302509.3311036}
}