Verification of stochastic tram model based on real traffic data | IEEE Conference Publication | IEEE Xplore