Darvas, Dániel. “Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems.” PhD thesis, Budapest University of Technology and Economics, 2017.

@phdthesis{darvas-daniel-phd,
  author = {Darvas, D{\'a}niel},
  title = {Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems},
  school = {Budapest University of Technology and Economics},
  year = {2017},
  type = {PhD thesis}
}