@inproceedings{
    VrpCSP03,
    editor = "Czaja, Ludwik",
    author = "Varpaaniemi, Kimmo",
    publisher = "Zak{\l}ad Graficzny UW, zam. 591/2003, Warsaw, Poland",
    title = "{M}odelling and Analysing a {P}{L}{C}-Based Railway Traffic Control System",
    booktitle = "{C}oncurrency, Specification and Programming: Proceedings of the {C}{S}\&{P}'2003 Workshop, {C}zarna k. {U}strzyk {D}olnych, {P}oland, {S}eptember 25--27, 2003, Volume 2",
    ps = "kvacsp03.ps",
    pages = "539--549",
    flags = "public",
    year = "2003",
    keywords = "programmable logic controllers, railway traffic control, formal methods, bounded model checking",
    pdf = "kvacsp03.pdf",
    abstract = "This paper reports a case study where a distributed PLC-based railway traffic control system was modelled and analysed."
}