https://123dok.net/document/qo5vrg45-introduction-to-promela-and-spin.html