@misc{
    Junttila:NuSMV-CAV2005,
    author = "Junttila, Tommi",
    howpublished = "Computer program",
    url = "http://www.tcs.hut.fi/~tjunttil/experiments/CAV05/",
    year = "2005",
    flags = "SOFTWARE",
    title = "NuSMV-2.2.3-CAV2005"
}