@inproceedings{knowles2015assurance,
  title = {Assurance techniques for industrial control systems (ics)},
  author = {Knowles, William and Such, Jose and Gouglidis, Antonios and Misra, Gaurav and Rashid, Awais},
  booktitle = {Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy},
  pages = {101--112},
  year = {2015},
}