https://5dok.org/document/lq50xwrz-towards-formal-verification-in-component-based-reuse-methodology.html