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)

Reference Measurement Platforms for Satellite Based Localisation in Ground Transportation. - Matthias Hübner; Jan Poliak; Daniel Beisel; Uwe Becker; Eckehard Schnieder (VTC Fall, 2009)