%0 Conference Paper %B NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems %D 2014 %T Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations %A Sean Whitsitt %K Controls %K Dynamic Constraints %K Model Transformations %B NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems %I NSF %C Washington, DC %8 03/2014 %G eng