"Towards Formal Security Analysis of Industrial Control Systems."

Marco Rocchetto, Nils Ole Tippenhauer (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics