Kamburjan, E. Detecting Deadlocks in Formal System Models With Condition Synchronization. eceasst 2019, 76.