@misc{
    LatvalaJunttila:NuSMV-CAV2006,
    author = "Latvala, Timo and Junttila, Tommi",
    howpublished = "Computer program",
    url = "http://www.tcs.hut.fi/~timo/cav2006/",
    year = "2006",
    flags = "SOFTWARE",
    title = "NuSMV-2.3.99-CAV2006"
}