@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} }