@mastersthesis {3748,
	title = {Integrated Safety, Reliability, and Diagnostics of High Assurance, High Consequence Systems},
	year = {2000},
	note = {Electrical Engineering},
	month = {May},
	school = {Vanderbilt University},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Davis_J_0_0_2000_Integrated.pdf},
	author = {Davis, James}
}
