A Hybrid Approach to Detecting Deadlock in STGs Unfoldings Using SAT. KJMS 2025, 1 (2), Page 1-13.