Aspect-Oriented Race Detection in Java - Bodden, Eric (IEEE Transactions on Software Engineering)