Estrutura curricular e do plano de estudos do mestrado em Engenharia de Sistemas Computacionais Críticos, lecionado no Instituto Superior de Engenharia