Validation of both number and coverage of bus schedules using AVL data | Synapse