Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano. Improving the security of industrial networks by means of formal verification. Computer Standards & Interfaces, 29(3):387-397, 2007. [doi]
Abstract is missing.