Towards Formal Analysis of Vehicle Platoons Using Actor Model | IEEE Conference Publication | IEEE Xplore