An Automated Framework for Deriving Intersection Coordination Plans | IEEE Conference Publication | IEEE Xplore