@mastersthesis {3815,
	title = {Method for Modeling and Verification of Real-Time Systems},
	year = {1996},
	note = {Electrical Engineering},
	school = {Vanderbilt University},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Scott_J_0_0_1996_Method_for.pdf},
	author = {Scott, Jason}
}
