Ivan Cibrario Bertolotti Luca Durante Paolo Maggi Riccardo Sisto Adriano Valenzano Improving the security of industrial networks by means of formal verification. 387-397 2007 29 Computer Standards & Interfaces 3 http://dx.doi.org/10.1016/j.csi.2006.06.002 db/journals/csi/csi29.html#BertolottiDMSV07