View of A Hybrid Approach to Detecting Deadlock in STGs Unfoldings Using SAT | KASU JOURNAL OF MATHEMATICAL SCIENCE (Maths Access)