Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia: Dynamic contracts for distributed temporal logic control of traffic networks. CDC 2017: 3640-3645