publicações selecionadas Metodologia para Especificação de Telecontrole em Subestações de Energia Elétrica Uma Metodologia para Especificação de Sistemas Orientada a Objetos em Ambiente Cliente/Servidor Metodologia para especificação de sistemas em ambiente Cliente/Servidor orientada a objetos.