https://5dok.net/document/oz1kkepy-using-mcrl-analysis-software-product-lines.html