Safety Analysis Method for Cooperative Driving Systems | IEEE Conference Publication | IEEE Xplore