@phdthesis{91,
  author = {Zsolt Lattmann},
  title = {An Analysis-Driven Rapid Design Process for Cyber-Physical Systems},
  year = {2016},
  month = {August},
  publisher = {Vanderbilt University},
}