nusmv.plt 1.66 KB