@mastersthesis {lattmann2016ADRP,
	title = {An Analysis-Driven Rapid Design Process for Cyber-Physical Systems},
	year = {2016},
	month = {August},
	school = {Vanderbilt University},
	type = {PhD},
	author = {Zsolt Lattmann}
}
