https://9dok.net/document/qo5vrx6m-family-based-deductive-verification-of-software-product-lines.html