Return to Article Details Framework para Aplicação de Model Checking ao Projeto de Automação no Ambiente Industrial Download Download PDF