@techreport{
    TKK-ICS-R17,
    author = "Launiainen, Tuomas",
    institution = "Helsinki University of Technology, Department of Information and Computer Science",
    title = "Model checking {PSL} safety properties",
    url = "http://lib.tkk.fi/Reports/2009/isbn9789522480422.pdf",
    year = "2009",
    number = "TKK-ICS-R17",
    month = "August",
    responsibleauthor = "Launiainen, Tuomas",
    corerank = "NA",
    flags = "DC copy",
    address = "Espoo, Finland",
    impactfactor = "E",
    type = "Technical Report",
    pages = "72"
}