Reference:
Timo Latvala and Tommi Junttila. Nusmv-2.3.99-cav2006. Computer program, 2006.
Suggested BibTeX entry:
@misc{LatvalaJunttila:NuSMV-CAV2006, author = {Timo Latvala and Tommi Junttila}, howpublished = {Computer program}, title = {NuSMV-2.3.99-CAV2006}, year = {2006}, }