Stochastic bus traffic modelling and validation using smart card fare collection data | IEEE Conference Publication | IEEE Xplore