Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder. Reference Case Study Traffic Control Systems for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. In Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper, editors, Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Volume 3147 of Lecture Notes in Computer Science, pages 96-118, Springer, 2004. [doi]
@inproceedings{HanselPSS04,
title = {Reference Case Study Traffic Control Systems for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator},
author = {Frank Hänsel and Jan Poliak and Roman Slovák and Eckehard Schnieder},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3147&spage=96},
tags = {control systems, case study},
researchr = {https://researchr.org/publication/HanselPSS04},
cites = {0},
citedby = {0},
pages = {96-118},
booktitle = {Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report},
editor = {Hartmut Ehrig and Werner Damm and Jörg Desel and Martin Große-Rhode and Wolfgang Reif and Eckehard Schnieder and Engelbert Westkämper},
volume = {3147},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23135-8},
}