Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee. Towards synthesis of platform-aware attack-resilient control systems: extended abstract. In Linda Bushnell, Larry Rohrbough, Saurabh Amin, Xenofon D. Koutsoukos, editors, 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11, 2013. pages 75-76, ACM, 2013. [doi]
Abstract is missing.