Arvind Easwaran, Anupam Chattopadhyay, Shivam Bhasin. A systematic security analysis of real-time cyber-physical systems. In 22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017. pages 206-213, IEEE, 2017. [doi]
Abstract is missing.