Eric S. Kim, Murat Arcak, Sanjit A. Seshia: Compositional controller synthesis for vehicular traffic networks. CDC 2015: 6165-6171