A Case Study on Using Probabilistic Verification to Find Failures in a Cooperative Driving Application | IEEE Conference Publication | IEEE Xplore