Pajic, MiroslavBezzo, NicolaWeimer, JamesAlur, RajeevMangharam, RahulMichael, NathanPappas, George JSokolsky, OlegTabuada, PauloWeirich, StephanieLee, Insup2023-05-222023-05-222013-04-092013-09-05https://repository.upenn.edu/handle/20.500.14332/6825© ACM 2013. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13), http://dx.doi.org/10.1145/2461446.2461457.CPS Embedded ControlCPS AutoAttack-resilient control systemscyber-physical system securityComputer EngineeringComputer SciencesPresentation