Alexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis: Application of the Reachability Analysis for the Iron Homeostasis Study. HSB 2016: 67-84