@article{
    VN2010:ATS,
    author = {Valkonen, Janne and Niemel{\"a}, Ilkka},
    responsibleauthor = {Niemel{\"a}, Ilkka},
    title = {Turvallisuuskriittisten j\"arjestelmien verifiointi mallintarkastuksella},
    journal = "ATS Ydintekniikka",
    corerank = "NA",
    number = "1",
    volume = "39",
    flags = "MODSAFE",
    year = "2010",
    impactfactor = "B1",
    pages = "6--8"
}