@misc{
    unfsmodels0.9,
    author = "Heljanko, Keijo and Simons, Patrik",
    juforank = "NA",
    title = "unfsmodels 0.9: a {LTL} model checker using net unfoldings",
    url = "http://www.tcs.hut.fi/%7Ekepa/tools/unfsmodels/",
    note = "Software",
    keywords = "net unfoldings, model checking, tableau systems, {LTL}, {Petri} nets",
    flags = "SOFTWARE SA-LO-00-02 SA-IN-98-01",
    year = "2001",
    howpublished = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland"
}