On a framework for analysis and design of cascades on Boolean networks | IEEE Conference Publication | IEEE Xplore