@techreport{
    Lahtinen-W156,
    author = {Lahtinen, Jussi and Bj\"orkman, Kim and Valkonen, Janne and Frits, Juho and Niemel{\"a}, Ilkka},
    title = "Analysis of an Emergency Diesel Generator Control System by Compositional Model Checking",
    url = "http://www.vtt.fi/inf/pdf/workingpapers/2010/W156.pdf",
    address = "Espoo",
    number = "156",
    month = "",
    flags = "MODSAFE",
    year = "2010",
    type = "VTT Working Papers",
    institution = "VTT Technical Research Centre of Finland"
}