@article(HKI+07,
 author       = "A. Hal\'asz et al.",
 year         = "2007",
 title        = "Analysis of lactose metabolism in E.coli using reachability analysis of hybrid systems",
 journal      = "Systems Biology, IET",
 volume       = "1",
 number       = "2",
 pages        = "130 --148",
 doi          = "10.1049/iet-syb:20060035",
)
@inproceedings(ADF+06,
 author       = "E. Asarin et al.",
 year         = "2006",
 title        = "Recent progress in continuous and hybrid reachability analysis",
 booktitle    = "Computer Aided Control System Design, IEEE International Conference on Control Applications",
 pages        = "1582 --1587",
 doi          = "10.1109/CACSD-CCA-ISIC.2006.4776877",
)
@article(BRJ+08,
 author       = "G. Batt et al.",
 year         = "2008",
 title        = "Symbolic reachability analysis of genetic regulatory networks using discrete abstractions",
 journal      = "Automatica",
 volume       = "44",
 pages        = "982--989",
 doi          = "10.1016/j.automatica.2007.08.004",
)
@article(BBW08,
 author       = "G. Batt et al.",
 year         = "2008",
 title        = "Temporal Logic Analysis of Gene Networks under Parameter Uncertainty",
 journal      = "IEEE Transactions of Automatic Control",
 volume       = "53",
 pages        = "215--229",
 doi          = "10.1109/TAC.2007.911330",
)
@book(FSBKitano,
 author       = "H. Kitano et al.",
 year         = "2001",
 title        = "Foundations of Systems Biology",
 publisher    = "The MIT Press",
)
@inproceedings(HIBI09,
 author       = "J. Barnat et al.",
 year         = "2009",
 title        = "{Computational Analysis of Large-Scale Multi-Affine ODE Models}",
 booktitle    = "2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009)",
 publisher    = "IEEE Computer Society Press",
 pages        = "81--90",
)
@article(TNO96,
 author       = "J. Tyson et al.",
 year         = "1996",
 title        = "Chemical kinetic theory: understanding cell-cycle regulation",
 journal      = "Trends in Biochemical Sciences",
 volume       = "21",
 pages        = "89--96",
)
@inproceedings(DHR05,
 author       = "L. Doyen et al.",
 year         = "2005",
 title        = "Automatic Rectangular Refinement of Affine Hybrid Systems",
 booktitle    = "Formal Modeling and Analysis of Timed Systems",
 series       = "LNCS",
 volume       = "3829",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "144--161",
 doi          = "10.1007/11603009\_13",
)
@inproceedings(MRM+08,
 author       = "P.T. Monteiro et al.",
 year         = "2008",
 title        = "Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks",
 booktitle    = "ECAI",
 series       = "Frontiers in Artificial Intelligence and Applications",
 volume       = "178",
 publisher    = "IOS Press",
 pages        = "229--233",
 doi          = "10.3233/978-1-58603-891-5-229",
)
@inproceedings(JCL+09,
 author       = "S. Jha et al.",
 year         = "2009",
 title        = "A Bayesian Approach to Model Checking Biological Systems",
 booktitle    = "CMSB'09",
 series       = "LNCS",
 publisher    = "Springer",
 pages        = "218--234",
 doi          = "10.1007/978-3-642-03845-7\_15",
)
@inproceedings(GP06,
 author       = "G. Antoine and G. Pappas",
 year         = "2006",
 title        = "Verification Using Simulation",
 booktitle    = "HSCC'06",
 series       = "LNCS",
 volume       = "3927",
 publisher    = "Springer",
 pages        = "272--286",
 doi          = "10.1007/11730637\_22",
)
@article(ADG07,
 author       = "E. Asarin and T. Dang and A. Girard",
 year         = "2007",
 title        = "Hybridization methods for the analysis of nonlinear systems",
 journal      = "Acta Inf.",
 volume       = "43",
 pages        = "451--476",
 doi          = "10.1007/s00236-006-0035-7",
)
@article(BBS10,
 author       = "J. Barnat and L. Brim and D. \v {S}afr\'anek",
 year         = "2010",
 title        = "High-performance analysis of biological systems dynamics with the DiVinE model checker",
 journal      = "Brief. in Bioinformatics",
 volume       = "11",
 pages        = "301--312",
 doi          = "10.1093/bib/bbp074",
)
@article(BH06,
 author       = "C. Belta and L.C. Habets",
 year         = "2006",
 title        = "Controlling a class of nonlinear systems on rectangles",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "51",
 number       = "11",
 pages        = "1749--1759",
 doi          = "10.1109/TAC.2006.884957",
)
@inproceedings(BHK07,
 author       = "S. Berman and \'{A}. Hal\'{a}sz and V. Kumar",
 year         = "2007",
 title        = "MARCO: a reachability algorithm for multi-affine systems with applications to biological systems",
 booktitle    = "HSCC'07",
 series       = "LNCS",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "76--89",
 doi          = "10.1007/978-3-540-71493-4\_9",
)
@techreport(appendix,
 author       = "L. Brim and J. Fabrikova and S. Drazan and D. Safranek",
 year         = "2011",
 title        = "Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation",
 type         = "Technical Report",
 number       = "arXiv:1107.5924v1",
 institution  = "Masaryk University",
 note         = "Full version of COMPMOD 2011 paper.",
)
@article(CES86,
 author       = "E. M. Clarke and E. A. Emerson and A. P. Sistla",
 year         = "1986",
 title        = "Automatic verification of finite-state concurrent systems using temporal logic specifications",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "8",
 pages        = "244--263",
 doi          = "10.1145/5397.5399",
)
@inproceedings(DLM+09,
 author       = "T. Dang and C. Le Guernic and O. Maler",
 year         = "2009",
 title        = "Computing Reachable States for Nonlinear Biological Models",
 booktitle    = "CMSB'09",
 series       = "LNCS",
 volume       = "5688",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "126--141",
 doi          = "10.1016/j.tcs.2011.01.014",
)
@article(Fe87,
 author       = "M. Feinberg",
 year         = "1987",
 title        = "Chemical reaction network structure and the stability of complex isothermal reactors I. The deficiency zero and the deficiency one theorems",
 journal      = "Chemical Engineering Science",
 volume       = "42",
 pages        = "2229--2268",
)
@article(FH07,
 author       = "J. Fisher and T. A. Henzinger",
 year         = "2007",
 title        = "{Executable cell biology}",
 journal      = "Nature biotechnology",
 volume       = "25",
 number       = "11",
 pages        = "1239--1249",
 doi          = "10.1038/nbt1356",
)
@article(HS04,
 author       = "L.C. Habets and J. H. van Schuppen",
 year         = "2004",
 title        = "A control problem for affine dynamical systems on a full-dimensional polytope",
 journal      = "Automatica",
 volume       = "40",
 number       = "1",
 pages        = "21 -- 35",
 doi          = "10.1016/j.automatica.2003.08.001",
)
@book(HartmanODE,
 author       = "Philip Hartman",
 year         = "2002",
 title        = "Ordinary Differential Equations",
 edition      = "2nd",
 publisher    = "Society for Industrial and Applied Mathematics",
 address      = "Philadelphia, PA, USA",
)
@article(HJ72,
 author       = "F. Horn and R. Jackson",
 year         = "1972",
 title        = "General mass action kinetics",
 journal      = "Archive for Rational Mechanics and Analysis",
 volume       = "47",
 pages        = "81--116",
 doi          = "10.1007/BF00251225",
)
@article(KB08,
 author       = "M. Kloetzer and C. Belta",
 year         = "2010",
 title        = "Reachability analysis of multi-affine systems",
 journal      = "Transactions of the Institute of Measurement and Control",
 volume       = "32",
 pages        = "445--467",
 doi          = "10.1007/11730637\_27",
)
@article(K70,
 author       = "F. J. Krambeck",
 year         = "1970",
 title        = "The mathematical structure of chemical kinetics in homogeneous single-phase systems",
 journal      = "Archive for Rational Mechanics and Analysis",
 volume       = "38",
 pages        = "317--347",
 doi          = "10.1007/BF00251527",
)
@article(ECMOANMODEL,
 author       = "H. Ma and F. Boogerd and I. Goryanin",
 year         = "2009",
 title        = "Modelling nitrogen assimilation of Escherichia coli at low ammonium concentration",
 journal      = "Journal of Biotechnology",
 volume       = "144",
 pages        = "175--83",
 doi          = "10.1016/j.jbiotec.2009.09.003",
)
@inproceedings(MB08,
 author       = "O. Maler and G. Batt",
 year         = "2008",
 title        = "Approximating Continuous Systems by Timed Automata",
 booktitle    = "Proceedings of the 1st international workshop on Formal Methods in Systems Biology",
 series       = "FMSB '08",
 publisher    = "Springer",
 pages        = "77--89",
 doi          = "10.1007/978-3-540-68413-8\_6",
)
@article(OP74,
 author       = "G. F. Oster and A. S. Perelson",
 year         = "1974",
 title        = "Chemical reaction dynamics",
 journal      = "Archive for Rational Mechanics and Analysis",
 volume       = "55",
 pages        = "230--274",
 doi          = "10.1007/BF00281751",
)
@article(RBF+09,
 author       = "A. Rizk and G. Batt and F. Fages and S. Soliman",
 year         = "2009",
 title        = "A general computational method for robustness analysis with applications to synthetic gene networks",
 journal      = "Bioinformatics",
 volume       = "25",
 pages        = "i169--i178",
 doi          = "10.1093/bioinformatics/btp200",
)
@book(WalterRudinMA,
 author       = "Walter Rudin",
 year         = "1974",
 title        = "Real and complex analysis",
 edition      = "2nd",
 publisher    = "McGraw-Hill New York",
)