SWTbahn: Model Railway Progress

We are pleased to welcome Bernhard Luedtke to the SWTbahn project as a student assistant, focussing on the model checking of railway controllers specified as SCCharts models using the model-driven engineering tool Kieler.