nusmv.plt 236 Bytes