Nima Kaveh Wolfgang Emmerich Deadlock detection in distribution object systems. 44-51 2001 ESEC / SIGSOFT FSE http://doi.acm.org/10.1145/503209.503216 db/conf/sigsoft/fse2001.html#KavehE01