Text this: Métodos formales para verificar los nuevos desarrollos en sistemas de transporte