A. Easwaran, A. Chattopadhyay, and S. Bhasin, “A Systematic Security Analysis of Real-time Cyber-physical Systems,” in Proceedings of the 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), Chiba, Japan, Jan. 2017, pp. 206–213, DOI: 10.1109/ASPDAC.2017.7858321.