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