research line of Desenvolvimento de Sistemas Críticos e Complexos Grupo de Pesquisa Engenharia de Software Grupo de Pesquisa