Análise, Verificação e Síntese de Segmentos de Via de uma Malha Metroviária