[promela.JPG]