Utilização de Sistemas Críticos nas Atividades de Engenharia de Domínio e de Aplicações