@conference {whitsitt2014cps, title = {Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations}, booktitle = {NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems}, year = {2014}, month = {03/2014}, publisher = {NSF}, organization = {NSF}, address = {Washington, DC}, keywords = {Controls, Dynamic Constraints, Model Transformations}, author = {Sean Whitsitt} }