Merge branch 'embb530_linearizability_tester' of https://github.com/siemens/embb into embb530_linearizability_tester
