@mastersthesis {3627,
	title = {Efficient Verification of Multi-Processor Real-Time Systems Using Symbolic Methods},
	year = {2003},
	note = {Electrical Engineering},
	month = {May},
	school = {Vanderbilt University},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Scott_JM_5_21_2004_Efficient_.pdf},
	author = {Scott, Jason}
}
