@misc{
    Lat04b,
    author = "Latvala, Timo",
    howpublished = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland",
    note = "Software",
    year = "2004",
    url = "http://www.tcs.hut.fi/~timo/vmcai2005/",
    title = "NuSMV-bPLTL"
}