Deadlock Analysis of Wait-Notify Coordination