Analysis of Deadlocks in Object Groups