https://123dok.net/document/qo5dl0jy-vmware-tool-support-for-automatic-verification-of-structural-and-semantic-correctness-in-product-line-models.html