Rahul Agarwal Scott D. Stoller Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. 51-60 2006 PADTAD http://doi.acm.org/10.1145/1147403.1147413 conf/issta/2006p db/conf/issta/padtad2006.html#AgarwalS06