Model-Based Analysis of a Stepwise Shutdown Logic

Reference:

Kim Björkmann, Juho Frits, Janne Valkonen, Keijo Heljanko, and Ilkka Niemelä. Model-based analysis of a stepwise shutdown logic. VTT Working Papers 115, VTT Technical Research Centre of Finland, Espoo, 2009.

Suggested BibTeX entry:

@techreport{W115,
    address = {Espoo},
    author = {Kim Bj{\"o}rkmann and Juho Frits and Janne Valkonen and Keijo Heljanko and Ilkka Niemel{\"a}},
    institution = {VTT Technical Research Centre of Finland},
    number = {115},
    title = {Model-Based Analysis of a Stepwise Shutdown Logic},
    type = {VTT Working Papers},
    year = {2009},
}