Instrumenting Microservices for Concurrent Audit Logging: Beyond Horn Clauses | IEEE Conference Publication | IEEE Xplore