This report focuses on the design of controllers for platoons of automatically-controlled automobiles using COSPAN computer language. In order to ensure that it is safe to initiate a maneuver, the platoon layer controller enters into a negotiation with its neighbors and is implemented as a protocol. After a successful protocol termination, the actions of the vehicles involved become coordinated and the maneuver can be initiated.