On Evaluating Traffic Lights Performance Sensitivity via Hybrid Systems Models