Abstract: Our objective is to engineer vehicles that can collaborate on the use of a  roadway.  The protocols that define the collaboration must be provably safe, and the implementations of the protocols by different manufacturers must be guaranteed to inter­‐operate. As an example we are using a collaborative merge protocol, that assists a driver merging between two vehicles in an adjacent lane.