@inproceedings{rocchetto17assessment,
  author        = {Marco Rocchetto and Nils Ole Tippenhauer},
  title         = {Towards Formal Security Analysis of Industrial Control Systems},
  year          = {2017},
  booktitle     = {Proc.\ ACM Asia Conference on Computer and Communications Security (AsiaCCS)}
}