TY - THES T1 - A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations Y1 - 2014 A1 - Sean Whitsitt PB - University of Arizona CY - Tucson, AZ VL - PhD ER -