@inproceedings{Minisy2015_Darvas,
	author = {Darvas, D\'aniel and Majzik, Istv\'an and Blanco Vi{\~n}uela, Enrique},
	title = {Requirements towards a formal specification language for {PLC}s},
	year = {2015},
	booktitle = {Proceedings of the 22nd PhD Mini-Symposium},
	pages = {18-21},
	isbn = {978-963-313-151-0},
	location = {Budapest, Hungary},
	pdf-link = {http://darvasd.hu/publications/Minisy2015_Darvas.pdf},
	bib-link = {Minisy2015_Darvas.bib},
	url = {https://www.mit.bme.hu/eng/system/files/oktatas/9855/22Minisymp_proceedings.pdf},
	local-event = {true},
	publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	doi = {10.5281/zenodo.14907},
	mtmt = {2837102},
}