@techreport{
    Lat02,
    author = "Latvala, Timo",
    title = "On Model Checking Safety Properties",
    url = "http://www.tcs.hut.fi/Publications/info/bibdb.HUT-TCS-A76.shtml",
    number = "A76",
    month = "December",
    flags = "LICTHESIS, SA-LO-00-02, public, copy",
    year = "2002",
    institution = "Helsinki University of Technology"
}