@inproceedings{PhD-iFM2016_Darvas,
	author = {Darvas, D\'aniel},
	title = {Practice-Oriented Formal Methods for {PLC} Programs of Industrial Control Systems},
	year = {2016},
	booktitle = {Proceedings of the PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'16)},
	pdf-link = {http://darvasd.hu/publications/PhD-iFM2016_Darvas.pdf},
	bib-link = {PhD-iFM2016_Darvas.bib},
	event-url = {http://en.ru.is/ifm/ifm-phd-symposium/},
	local-event = {true},
	publisher = {Reykjavik University},
	location = {Reykjav\'ik, Iceland},
	note = {Extended abstract. Proceedings number: RUTR-SCS16002.},
}