nusmvTemplate.st 934 Bytes