This package provides syntax highlighting and completion features for Parametric Timed Automata in Imitator.
I recommend using the Sublime Package Control to install this package.
Add the following repository to Package Control : https://github.com/imitator-model-checker/sublime-text-imitator
To do so, use Tools->Command Palette and choose PackageControl: Add Repository. Then, provide the repository address.
To Install the package, use Tools->Command Palette and choose PackageControl: Install Package. Select sublime-text-imitator.