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