Analysis of an Emergency Diesel Generator Control System by Compositional Model Checking

Reference:

Jussi Lahtinen, Kim Björkman, Janne Valkonen, Juho Frits, and Ilkka Niemelä. Analysis of an emergency diesel generator control system by compositional model checking. VTT Working Papers 156, VTT Technical Research Centre of Finland, Espoo, 2010.

Suggested BibTeX entry:

@techreport{Lahtinen-W156,
    address = {Espoo},
    author = {Jussi Lahtinen and Kim Bj\"orkman and Janne Valkonen and Juho Frits and Ilkka Niemel{\"a}},
    institution = {VTT Technical Research Centre of Finland},
    number = {156},
    title = {Analysis of an Emergency Diesel Generator Control System by Compositional Model Checking},
    type = {VTT Working Papers},
    year = {2010},
}