“MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET”, CE, vol. 12, nº 2, p. 45–61, dez. 2020, Acessado: 17º de julho de 2024. [Online]. Disponível em: https://revistas.unoeste.br/index.php/ce/article/view/3526