A Deductive Model for Multi-lane Vehicular Traffic | IEEE Conference Publication | IEEE Xplore