@book{aef78eecfefd4d23aef388fb64c8c0a4,
title = "Model-Based Analysis of a Stepwise Shutdown Logic",
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",
}