2.8 Expanding the Traffic Light System: Contexts and Refinement
Goals: We apply what we learned in the previous section by introducing a context with traffic light colours and a refinement to integrate them. We will also introduce another refinement for the push buttons.