A time–space network based exact optimization model for multi-depot bus scheduling · Study