@inproceedings{d667cb2b7268460e850b5d69331c2d06,
title = "Modelling and Analysing a PLC-Based Railway Traffic Control System",
keywords = "bounded model checking, formal methods, programmable logic controllers, railway traffic control, bounded model checking, formal methods, programmable logic controllers, railway traffic control, bounded model checking, formal methods, programmable logic controllers, railway traffic control",
author = "Kimmo Varpaaniemi",
year = "2003",
language = "English",
pages = "539--549",
editor = "Ludwik Czaja",
booktitle = "CS&P 2003 Workshop, Czarna k. Ustrzyk Dolnych, Puola, 25.-27.9.2003",
publisher = "Warsaw University",
address = "Poland",
}