Before revision:  The algorithm is tested on a boolean model of the mammalian cell cycle  and its applications are illustrated on a boolean model of Fanconi anemia.
After revision:  The algorithm is tested on a boolean model of the mammalian cell cycle bearing a constitutive inactivation of the retinoblastoma protein, as seen in cancers, and its applications are illustrated on a boolean model of Fanconi anemia.