Vehicle and reliable driver scheduling for public bus transportation systems · Study