A. Chattopadhyay, A. Prakash, and M. Shafique, “Secure Cyber-physical Systems: Current Trends, Tools and Open Research Problems,” in Proceedings of the 2017 Design, Automation Test in Europe Conference (DATE), Lausanne, Switzerland, Mar. 2017, pp. 1104–1109, DOI: 10.23919/DATE.2017.7927154.
