Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques | Synapse