Modeling train control systems with Petrinets-an operational specification. - Stefan Einer; Roman Slovák; Eckehard Schnieder (SMC, 2000)

Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. - Frank Hänsel; Jan Poliak; Roman Slovák; Eckehard Schnieder (SoftSpez Final Report, 2004)