Detection of deadlock potentials in multithreaded programsR. AgarwalS. Bensalemet al.2010IBM J. Res. Dev