Junction-based Model Predictive Control for urban traffic light control | IEEE Conference Publication | IEEE Xplore