Owe, O., and I. C. Yu. “Deadlock Detection of Active Objects With Synchronous and Asynchronous Method Calls”. Norsk IKT-Konferanse for Forskning Og Utdanning, Oct. 2014, https://www.ntnu.no/ojs/index.php/nikt/article/view/5243.