State-feedback decomposition for Boolean control networks | IEEE Conference Publication | IEEE Xplore