Avoiding deadlocks using stalemate and dimmunix. - Surabhi Pandey; Sushanth Bhat; Vivek K. Shanbhag (ICSE Companion, 2014)