We plan to develop more ambitious case studies. These include a signal and switching system for a railway station on a trunk line [38]. An overview of a simple gas burner example, from requirements to hardware is given in [10].
