área de pesquisa Juliana Joria Padilha UM FRAMEWORK PARA VALIDAÇÃO AUTOMÁTICA DE MODELOS APLICADO AO SUBSISTEMA DE ENERGIA DE UM PICOSSATÉLITE
