Analysis and Control of Boolean Networks - Cheng, Daizhan (Springer London, 2011)