@phdthesis{PhDThesis2017_Darvas,
    author = {D{\'a}niel Darvas},
    title = {Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems},
    year = {2017},
    school = {Budapest University of Technology and Economics},
    doi = {10.5281/zenodo.162950},
    pdf-link = {http://darvasd.hu/publications/PhDThesis2017_Darvas.pdf},
    bib-link = {PhDThesis2017_Darvas.bib},
    url = {http://mit.bme.hu/~darvas/phd/},
    handle = {http://hdl.handle.net/10890/5364},
	mtmt = {3249496},
}