State–Space Analysis of Boolean Networks | IEEE Journals & Magazine | IEEE Xplore