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