publicações selecionadas Um Método de Modelagem Descritiva de Sistemas para Escrita Automática de Requisitos Regulação de Trens em Sistemas Metroviários