https://5dok.net/document/wq2xwgez-resource-based-verification-for-robust-composition-of-aspects.html