nusmv rm