ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks | IEEE Conference Publication | IEEE Xplore