nusmv.smv 17.9 KB