On Modeling and Testing Security Properties of Vehicular Networks | IEEE Conference Publication | IEEE Xplore