https://5dok.net/document/lzgnv86y-analysis-of-feature-models-using-generalised-feature-trees.html