Owe, O.; Yu, I. C. Deadlock Detection of Active Objects With Synchronous and Asynchronous Method Calls. NIKT 2014.