Validation of both number and coverage of bus schedules using AVL data | IEEE Conference Publication | IEEE Xplore