nusmv, multi thread