Borrego, A.; Guelfi, A. E.; Aparecido Alves da Silva, A.; Teixeira de Azevedo, M.; Ferraz Jr, N.; Takeo Kofuji, S. MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET. CE 2020, 12 (2), 45-61.