Reference:
Tommi Junttila. Nusmv-2.2.3-cav2005. Computer program, 2005.
Suggested BibTeX entry:
@misc{Junttila:NuSMV-CAV2005, author = {Tommi Junttila}, howpublished = {Computer program}, title = {NuSMV-2.2.3-CAV2005}, year = {2005}, }