Assume-guarantee contracts and controller synthesis for vehicular traffic networks | IEEE Conference Publication | IEEE Xplore