 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.
<meaning-changed>  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.
 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.