A bus crew scheduling system using a set covering formulation · Study