nusmvTemplate.st 2.52 KB