[1]
E. Kamburjan, “Detecting Deadlocks in Formal System Models with Condition Synchronization”, ECEASST, vol. 76, May 2019.