car2xProtocol specified in theory