Control of bus headways by traffic signal timing methods | IEEE Journals & Magazine | IEEE Xplore