O. Owe and I. C. Yu, “Deadlock detection of active objects with synchronous and asynchronous method calls”, NIKT, Oct. 2014.