Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura: Integer programming-based methods for attractor detection and control of boolean networks. CDC 2009: 5610-5617