GitHub repository: JDevlieghere/Sublime-NuSMV
Description: Sublime NuSMV Syntax