@techreport{979f5da1ed2e4445a7f5e61e395cf7ae,
title = "Model-Based Analysis of a Stepwise Shutdown Logic: MODSAFE 2008 Work Report",
keywords = "automation system, failure, I&C, model checking, NuSMV, safety case, safety evaluation, UPPAAL, automation system, failure, I&C, model checking, NuSMV, safety case, safety evaluation, UPPAAL, automation system, failure, I&C, model checking, NuSMV, safety case, safety evaluation, UPPAAL",
author = "Kim Bj{\"o}rkman and Juho Frits and Janne Valkonen and Keijo Heljanko and Ilkka Niemel{\"a}",
year = "2009",
language = "English",
series = "VTT Working Papers",
publisher = "VTT Technical Research Centre of Finland",
number = "115",
type = "WorkingPaper",
institution = "VTT Technical Research Centre of Finland",
}