A Platoon Formation Strategy for Heterogeneous Vehicle Types at a Signalized Intersection | IEEE Conference Publication | IEEE Xplore