Control-compatible state reduction for Boolean networks | IEEE Conference Publication | IEEE Xplore