Packet Inter-Reception Time Modeling for High-Density Platooning in Varying Surrounding Traffic Density | IEEE Conference Publication | IEEE Xplore