Kim, B., S. Jun, D. Hwang, and Y. Jun, "Visualizing Potential Deadlocks in Multithreaded Programs," Proceedings of 10th International Conference on Parallel Computing Technologies (PaCT 2009), Novosibirsk, Russia, Lecture Notes in Computer Sciecne (LNCS), 5698:321-330, Springer-Verlag, 2009.