@inproceedings{
    Valkonen.etal:Automaatiopaivat2009,
    author = {Valkonen, Janne and Koskimies, Matti and Bj{\"o}rkman, Kim and Heljanko, Keijo and Niemel{\"a}, Ilkka and H{\"a}m{\"a}l{\"a}inen, Jari J.},
    title = "Formal Verification of Safety Automation Logic Designs",
    url = "https://www.automaatioseura.fi/confprog/downloadfile_public.php?conference=16&filename=16-14013.pdf",
    booktitle = "Automaatio XVIII 2009 Seminaari",
    responsibleauthor = {Niemel{\"a}, Ilkka},
    flags = "MODSAFE public",
    year = "2009",
    impactfactor = "D3"
}