E. Kamburjan, “Detecting Deadlocks in Formal System Models with Condition Synchronization”, eceasst, vol. 76, May 2019.