A Bus Driver Scheduling Problem: a new mathematical model and a GRASP approximate solution - De Leone, Renato (Journal of Heuristics)