@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.},
    juforank = "NA",
    title = "Formal Verification of Safety Automation Logic Designs",
    ee = "https://www.automaatioseura.fi/confprog/downloadfile_public.php?conference=16&filename=16-14013.pdf",
    booktitle = "Automaatio XVIII 2009 Seminaari",
    corerank = "NA",
    responsibleauthor = "Matti Koskimies",
    flags = "DC copy",
    il = "no",
    year = "2009",
    impactfactor = "E",
    pages = "1--1"
}