Stochastic modeling of device-to-device communications for intelligent transportation systems | IEEE Conference Publication | IEEE Xplore