Caixia Wang, Jun-e Feng, Yongyuan Yu: Further results on observability verification of Boolean control networks. Syst. Control. Lett. 174: 105485 (2023)