nusmv.smv 228 Bytes