publicações selecionadas Metodologia de Especificação de Sistemas de Instrumentação e Controle para Usinas Nucleares Móveis