Added promela syntax