Automating Verification of Cooperation, Control, and Design in Traffic Applications