Kamburjan, Eduard. “Detecting Deadlocks in Formal System Models With Condition Synchronization”. Electronic Communications of the EASST, vol. 76, May 2019, doi:10.14279/tuj.eceasst.76.1070.