@inproceedings{
    Bjorkman.etal:NPICHMIT2009,
    author = {Bj{\"o}rkman, Kim and Frits, Juho and Valkonen, Janne and Lahtinen, Jussi and Heljanko, Keijo and Niemel{\"a}, Ilkka and H{\"a}m{\"a}l{\"a}inen, Jari J.},
    title = "Verification of Safety Logic Designs by Model Checking",
    booktitle = "Proceedings of the Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC\&HMIT 2009",
    address = "Knoxville, Tennessee",
    month = "April",
    flags = "MODSAFE public",
    year = "2009"
}