nusmvTemplate.st 1.64 KB