@inproceedings{
    Valkonen.etal:EHPG2008,
    author = {Valkonen, Janne and Koskimies, Matti and Pettersson, Ville and Heljanko, Keijo and Holmberg, Jan-Erik and Niemel{\"a}, Ilkka and H{\"a}m{\"a}l{\"a}inen, Jari J.},
    publisher = "Institutt for Energiteknikk, Halden, Norway",
    title = "Formal Verification of Safety {I\&C} System Designs: Two Nuclear Power Plant Related Applications",
    booktitle = "Enlarged Halden Programme Group Meeting -- Proceedings of the Man-Technology-Organisation Sessions",
    flags = "MODSAFE public",
    year = "2008",
    pages = "C4.2"
}