Zhihua Zhang, Thomas Leifeld, Ping Zhang: Reduced-Order Observer Design for Boolean Control Networks. IEEE Trans. Autom. Control. 65(1): 434-441 (2020)