← Specification for Traffic Signal Controller - UK Roads