nusmvTemplate.st 960 Bytes