A linear bus rapid transit with transit signal priority formulation · Study