A Probabilistic Framework for Microscopic Traffic Propagation | IEEE Conference Publication | IEEE Xplore