Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol | IEEE Conference Publication | IEEE Xplore