@inproceedings {Minisy2016_Darvas,
	title = {Generic Representation of PLC Programming Languages for Formal Verification},
	booktitle = {Proceedings of the 23rd PhD Mini-Symposium},
	year = {2016},
	pages = {6-9},
	publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	isbn = {978-963-313-220-3},
	doi = {10.5281/zenodo.51064},
	author = {D{\'a}niel Darvas and Istv{\'a}n Majzik and Blanco Vi{\~n}uela, Enrique}
}
