A formal multi-agent language for cooperative autonomous driving scenarios | IEEE Conference Publication | IEEE Xplore