Controllability Analysis And Control Design Of Biological Systems Modeled By Boolean Networks