@mastersthesis { d:whitsitt-phd,
	title = {A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations},
	volume = {PhD},
	year = {2014},
	month = {12/2014},
	school = {University of Arizona},
	type = {mastersPhD Dissertation},
	address = {Tucson, AZ},
	author = {Sean Whitsitt}
}
