@inproceedings{DBLP:conf/kbse/AbateBCCCDKKP17,
  title = "DSSynth: an automated digital controller synthesis tool for physical plants",
  author = "Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas C. Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen",
  year = "2017",
  booktitle = "Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017",
  pages = "919--924",
  url = "https://doi.org/10.1109/ASE.2017.8115705",
  doi = "10.1109/ASE.2017.8115705",
}