Machado, et al.. Concurrency Debugging with Differential Schedule Projections. ACM Press, 2015, doi:10.1145/2737924.2737973.