@techreport{
    VTTTech12,
    author = "Lahtinen, Jussi and Launiainen, Tuomas and Heljanko, Keijo and Ropponen, Jonatan",
    juforank = "NA",
    language = "eng",
    title = "Model Checking Methodology for Large Systems, Faults and Asynchronous Behaviour - {SARANA} 2011 Work Report",
    ee = "http://www.vtt.fi/inf/pdf/technology/2012/T12.pdf",
    series = "VTT Technology",
    year = "2012",
    number = "12",
    pages = "84",
    responsibleauthor = "Tuomas Launiainen, Keijo Heljanko",
    url = "http://www.vtt.fi/inf/pdf/technology/2012/T12.pdf",
    corerank = "NA",
    flags = "DC",
    il = "no",
    address = "Espoo",
    unitcode = "T306-100",
    impactfactor = "E",
    type = "VTT Technology",
    institution = "VTT Technical Research Centre of Finland"
}