@inproceedings{
    Valkonen.etal:SIAS2010,
    author = {Valkonen, Janne and Bj{\"o}rkman, Kim and Frits, Juho and Niemel{\"a}, Ilkka},
    title = "Model Checking Methodology for Verification of Safety Logics",
    booktitle = "Proceedings of the 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010",
    address = "Tampere, Finland",
    month = "June",
    flag = "MODSAFE copy",
    year = "2010",
    impactfactor = "B3",
    corerank = "NA"
}