Marco Rocchetto, Nils Ole Tippenhauer: Towards Formal Security Analysis of Industrial Control Systems. AsiaCCS 2017: 114-126