promela syntax
highlighting