An optimization model for line planning and timetabling in automated urban metro subway networks. A case study | Publicación