An STP look at logical blocking of finite state machines: formulation, detection, and search. - Yongyi Yan; Penglei Hao; Jumei Yue; Haitao Li 001; Jun-e Feng (Sci. China Inf. Sci., 2024)