@techreport{
    W115_ini,
    author = {Bj{\"o}rkmann, Kim and Frits, Juho and Valkonen, Janne and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    title = "Model-Based Analysis of a Stepwise Shutdown Logic",
    url = "http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf",
    year = "2009",
    number = "115",
    month = "",
    flags = "MODSAFE",
    address = "Espoo",
    type = "VTT Working Papers",
    institution = "VTT Technical Research Centre of Finland"
}

AUTHORS:

URL:
http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf

AUTHORS:

URL: http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf

URL:
http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf