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:  It is tested on a boolean model of the mammalian cell cycle and its applications are illustrated on a boolean model of Fanconi anemia.