Hänsel, F.; Poliak, J.; Slovak, R.; Schnieder, E.:
Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator.
In Ehrig, H. et al., Hrsg.: Integration of Software Specification Techniques for Applications in Engineering.
Bandnummer 3147 von Serie LNCS-Band. Springer Verlag GmbH, S. 96-119, 2004.
As domain modelling has been identied as a key issue for putting formal specication techniques into engineering practice, two reference case studies were elaborated within the research programme \Integration of Software Specication Techniques for Applications in Engineering". One of them, coming from the railway transportation control domain and using an example of a radio based level crossing control system, was developed at the Institute of Trac Safety and Automation Engineering. A physical railway model demonstrator was designed and developed as a means of comparison and validation for the formal specications coming from partners involved in the research program.