https://123dok.net/document/lzg7vrnz-modelling-and-reasoning-with-software-product-lines-with-design-choices.html