@inproceedings(donze_2010,
 author       = "A. Donz{\'e}",
 year         = "2010",
 title        = "Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems",
 booktitle    = "CAV",
 pages        = "167--170",
 doi          = "10.1007/978-3-642-14295-6\_17",
)
@article(funahashi_morohashi_2003,
 author       = "A. Funahashi and M. Morohashi and H. Kitano and N. Tanimura",
 year         = "2003",
 title        = "CellDesigner: a process diagram editor for gene-regulatory and biochemical networks",
 journal      = "BIOSILICO",
 volume       = "1",
 number       = "5",
 pages        = "159--162",
 doi          = "10.1016/S1478-5382(03)02370-9",
)
@article(granvilliers_benhamou_2006,
 author       = "L. Granvilliers and F. Benhamou",
 year         = "2006",
 title        = "{Algorithm 852}: {RealPaver}: an interval solver using constraint satisfaction techniques",
 journal      = "{ACM} Transactions on Mathematical Software",
 volume       = "32",
 number       = "1",
 pages        = "138--156",
 doi          = "10.1145/1132973.1132980",
)
@article(kidane_sauble_2006,
 author       = "T. Z. Kidane and E. Sauble and M. C. Linder",
 year         = "2006",
 title        = "{R}elease of iron from ferritin requires lysosomal activity",
 journal      = "Am. J. Physiol., Cell Physiol.",
 volume       = "291",
 number       = "3",
 pages        = "C445--455",
 doi          = "10.1152/ajpcell.00505.2005",
)
@article(mobilia_donze_2012,
 author       = "N. Mobilia and A. Donz{\'e} and J. M. Moulis and {\'E}. Fanchon",
 year         = "2012",
 title        = "A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration",
 journal      = "EPTCS",
 volume       = "92",
 pages        = "42--57",
 doi          = "10.4204/EPTCS.92.4",
)
@article(seiser_posch_1995,
 author       = "C. Seiser and M. Posch and N. Thompson and L. C. Kuhn",
 year         = "1995",
 title        = "{E}ffect of transcription inhibitors on the iron-dependent degradation of transferrin receptor m{R}{N}{A}",
 journal      = "J. Biol. Chem.",
 volume       = "270",
 number       = "49",
 pages        = "29400--29406",
 doi          = "10.1074/jbc.270.49.29400",
)
@article(sharova_sharov_2009,
 author       = "L. V. Sharova and A. A. Sharov and T. Nedorezov and Y. Piao and N. Shaik and M. S. Ko",
 year         = "2009",
 title        = "Database for m{R}{N}{A} half-life of 19 977 genes obtained by {D}{N}{A} microarray analysis of pluripotent and differentiating mouse embryonic stem cells",
 journal      = "DNA Res.",
 volume       = "16",
 number       = "1",
 pages        = "45--58",
 doi          = "10.1093/dnares/dsn030",
)