“MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET”. Colloquium Exactarum. ISSN: 2178-8332, vol. 12, nº 2, dezembro de 2020, p. 45-61, https://revistas.unoeste.br/index.php/ce/article/view/3526.