@inproceedings{
    Lahtinen:ESREL2010,
    editor = "Ale, Ben J.M. and Papazoglou, Ioannis A. and Zio, Enrico",
    author = {Lahtinen, Jussi and Valkonen, Janne and Bj\"orkman, Kim and Frits, Juho and Niemel{\"a}, Ilkka},
    publisher = "CRC Press",
    title = "Model Checking Methodology for Supporting Safety Critical Software Development and Verification",
    booktitle = "Reliability, Risk and Safety---Back to the Future",
    corerank = "NA",
    flag = "MODSAFE copy",
    year = "2010",
    impactfactor = "B3",
    pages = "2056--2063"
}