R. Rajesh Kumar, Vivek Shanbhag, K. V. Dinesha: Automated Deadlock Detection for Large Java Libraries. ICDCIT 2021: 129-144