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