Traffic lights-an AutoFocus case study

In this paper, we present a case study on AutoFocus, a prototype tool for the development of distributed and concurrent systems based on the concepts of the formal method Focus. We develop (specify, consistency-check and simulate) the controller of a set of pedestrian traffic lights using different graphical description techniques to illustrate an engineering process for concurrent systems.