2020. MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET. Colloquium Exactarum. ISSN: 2178-8332. 12, 2 (dez. 2020), 45–61.