PASTA Threat Modeling for Vehicular Networks Security | IEEE Conference Publication | IEEE Xplore