@article{agarwal10detection,
title={Detection of Deadlock Potentials in Multi-Threaded Programs},
author={Rahul Agarwal and
  Saddek Bensalem and
  Eitan Farchi and
  Klaus Havelund and
  Yarden Nir-Buchbinder and
  Scott D. Stoller and
  Shmuel Ur and
  Liqiang Wang},
journal="IBM Journal of Research and Development",
year=2010,
month="September/October",
volume=54,
number=5
}