@inproceedings{nigam19etfa, author = {Nigam, Vivek and Talcott, Carolyn}, title = {Formal Security Verification of Industry 4.0 Applications}, booktitle = {24th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13, 2019}, publisher = {{IEEE}}, pages = {1043--1050}, year = {2019}, doi = {10.1109/ETFA.2019.8869428}, }