Huang, Chen, Huang, Zhu, 2019. Dynamic Games for Secure and Resilient Control System Design.