@techreport{a02b1896bf754edcbfcf4e3ac48da2dd,
title = "Analysis of an Emergency Diesel Generator Control System by Compositional Model Checking: MODSAFE 2010 work report",
keywords = "automation system, diesel, emergency, I&C, Model checking, MODSAFE, NuSMV, SAFIR, system safety, Uppaal, automation system, diesel, emergency, I&C, Model checking, MODSAFE, NuSMV, SAFIR, system safety, Uppaal, automation system, diesel, emergency, I&C, Model checking, MODSAFE, NuSMV, SAFIR, system safety, Uppaal",
author = "Jussi Lahtinen and Kim Bj{\"o}rkman and Janne Valkonen and Juho Frits and Ilkka Niemel{\"a}",
note = "VK: modsafe",
year = "2010",
language = "English",
series = "VTT Working Papers",
publisher = "VTT Technical Research Centre of Finland",
number = "156",
type = "WorkingPaper",
institution = "VTT Technical Research Centre of Finland",
}