@incollection{
    Vrp00b,
    editor = {Husberg, Nisse and Janhunen, Tomi and Niemel{\"{a}}, Ilkka},
    author = "Varpaaniemi, Kimmo",
    publisher = "Laboratory for Theoretical Computer Science, Helsinki University of Technology",
    title = "{M}odelling of a {P}{L}{C}-Based Railway Traffic Control System",
    series = "HUT-TCS Research Reports",
    booktitle = "{L}eksa Notes in Computer Science: {F}estschrift in Honour of {P}rofessor {L}eo {O}jala",
    address = "Espoo, Finland",
    number = "HUT-TCS-A63",
    month = "October",
    flags = "public",
    pages = "131--140",
    year = "2000",
    keywords = "programmable logic controllers",
    pdf = "kv181000.pdf",
    abstract = {This paper describes the modelling of a distributed PLC system that was developed by Mipro Oy and controls the traffic in the railway section between Haapam{\"{a}}ki and Sein{\"{a}}joki. The PROD tool of HUT-TCS is used for analysing the model.},
    ps = "kv181000.ps"
}