Text this: Formal Verification of a Security Protocol in Vehicular Communication