https://9dok.net/document/y6e46e4o-vip-visual-editor-compiler-v-promela.html