@inproceedings {Minisy2017_Darvas,
	title = {Well-Formedness and Invariant Checking of PLCspecif Specifications},
	booktitle = {Proceedings of the 24th PhD Mini-Symposium},
	year = {2017},
	pages = {10-13},
	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-243-2},
	doi = {10.5281/zenodo.291889},
	url = {http://oszkdk.oszk.hu/DRJ/19248},
	author = {D{\'a}niel Darvas and Istv{\'a}n Majzik and Blanco Vi{\~n}uela, Enrique}
}
