"Formal Security Verification of Industry 4.0 Applications."

Vivek Nigam, Carolyn L. Talcott (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics