Pinning Control Design for Stabilizing Large-Scale Markovian Jump Boolean Networks | IEEE Journals & Magazine | IEEE Xplore