Modeling of spacing distribution of queuing vehicles at signalized junctions using random-matrix theory | TUP Journals & Magazine | IEEE Xplore