nusmv pdf