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