@inproceedings {Minisy2015_Darvas,
	title = {Requirements towards a formal specification language for PLCs},
	booktitle = {Proceedings of the 22nd PhD Mini-Symposium},
	year = {2015},
	month = {02/2015},
	pages = {18-21},
	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},
	address = {Budapest, Hungary},
	isbn = {978-963-313-151-0},
	url = {http://minisy.mit.bme.hu/papers/22Minisymp_proceedings.pdf},
	author = {D{\'a}niel Darvas and Istv{\'a}n Majzik and Blanco Vi{\~n}uela, Enrique}
}
