Bus maintenance systems and maintenance scheduling: model formulations and solutions · Study