Validation of stochastic traffic flow model with microscopic traffic simulation | IEEE Conference Publication | IEEE Xplore