https://5dok.net/document/ozl7pjgy-applying-composition-filter-runtime-verification-multiple-language-software.html