Estimating the posterior predictive distribution of the traffic density in multi-lane highways using spacing measurements | IEEE Conference Publication | IEEE Xplore