Eric S. Kim, Murat Arcak, Sanjit A. Seshia: Assume-guarantee contracts and controller synthesis for vehicular traffic networks. ACC 2016: 882