@techreport{
    Valkonen-W94,
    author = {Valkonen, Janne and Karanta, Ilkka and Koskimies, Matti and Heljanko, Keijo and Niemel{\"a}, Ilkka and Sheridan, Dan and Bloomfield, Robing E.},
    title = "{NPP} Safety Automation Systems Analysis: State of the Art",
    url = "http://www.vtt.fi/inf/pdf/workingpapers/2008/W94.pdf",
    address = "Espoo",
    number = "94",
    month = "",
    flags = "MODSAFE",
    year = "2008",
    type = "VTT Working Papers",
    institution = "VTT Technical Research Centre of Finland"
}