@article(alfieri2011modeling,
 author       = "R. Alfieri and E. Bartocci and E. Merelli and L. Milanesi",
 year         = "2011",
 title        = "Modeling the cell cycle: From deterministic models to hybrid systems",
 journal      = "Biosystems",
 volume       = "105",
 pages        = "34--40",
 doi          = "10.1016/j.biosystems.2011.03.002",
)
@article(baldazzi2011qualitative,
 author       = "V. Baldazzi and P.T. Monteiro and M. Page and D. Ropers and J. Geiselmann and H. Jong",
 year         = "2011",
 title        = "Qualitative Analysis of Genetic Regulatory Networks in Bacteria",
 journal      = "Understanding the Dynamics of Biological Systems",
 pages        = "111--130",
 doi          = "10.1007/978-1-4419-7964-3_6",
)
@article(batt2008symbolic,
 author       = "G. Batt and H. De Jong and M. Page and J. Geiselmann",
 year         = "2008",
 title        = "Symbolic reachability analysis of genetic regulatory networks using discrete abstractions",
 journal      = "Automatica",
 volume       = "44",
 number       = "4",
 pages        = "982--989",
 doi          = "10.1016/j.automatica.2007.08.004",
)
@article(bortolussi2011hybrid,
 author       = "L. Bortolussi and A. Policriti",
 year         = "2011",
 title        = "{(Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program}",
 journal      = "Journal of Logic and Computation",
 doi          = "10.1093/logcom/exr045",
)
@article(crudu2011convergence,
 author       = "A. Crudu and A. Debussche and A. Muller and O. Radulescu",
 year         = "to appear, Arxiv preprint arXiv:1101.1431",
 title        = "{Convergence of stochastic gene networks to hybrid piecewise deterministic processes}",
 journal      = "Annals of Applied Probability",
)
@article(crudu2009hybrid,
 author       = "A. Crudu and A. Debussche and O. Radulescu",
 year         = "2009",
 title        = "{Hybrid stochastic simplifications for multiscale gene networks}",
 journal      = "BMC Systems Biology",
 volume       = "3",
 number       = "1",
 pages        = "89",
 doi          = "10.1186/1752-0509-3-89",
)
@article(david2005discrete,
 author       = "R. David and H. Alla",
 year         = "2008",
 title        = "{Discrete, continuous, and hybrid Petri nets}",
 journal      = "IEEE Control Systems",
 volume       = "28",
 pages        = "81--84",
 doi          = "10.1109/MCS.2008.920445",
)
@article(drulhe2008switching,
 author       = "S. Drulhe and G. Ferrari-Trecate and H. de Jong",
 year         = "2008",
 title        = "The switching threshold reconstruction problem for piecewise-affine models of genetic regulatory networks",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "53",
 pages        = "153--165",
 doi          = "10.1109/TAC.2007.911326",
)
@book(filippov1988differential,
 author       = "A.F. Filippov and FM Arscott",
 year         = "1988",
 title        = "Differential equations with discontinuous righthand sides",
 volume       = "18",
 publisher    = "Springer",
)
@incollection(gorban-dynamic,
 author       = "AN Gorban and O. Radulescu",
 year         = "2008",
 title        = "{Dynamic and static limitation in reaction networks, revisited }",
 editor       = "David West Guy B. Marin and Gregory S. Yablonsky",
 booktitle    = "Advances in Chemical Engineering - Mathematics in Chemical Kinetics and Engineering",
 series       = "Advances in Chemical Engineering",
 volume       = "34",
 publisher    = "Elsevier",
 pages        = "103--173",
 doi          = "10.1016/S0065-2377(08)00002-1",
)
@article(henry1981geometric,
 author       = "D. Henry",
 year         = "1981",
 title        = "Geometric theory of semilinear parabolic problems",
 journal      = "Lecture Notes in Mathematics",
 volume       = "840",
)
@article(lincoln2004symbolic,
 author       = "P. Lincoln and A. Tiwari",
 year         = "2004",
 title        = "Symbolic systems biology: Hybrid modeling and analysis of biological networks",
 journal      = "Hybrid Systems: Computation and Control",
 pages        = "147--165",
 doi          = "10.1007/978-3-540-24743-2_44",
)
@book(matveev2000qualitative,
 author       = "A.S. Matveev and A.V. Savkin",
 year         = "2000",
 title        = "{Qualitative theory of hybrid dynamical systems}",
 publisher    = "Birkhauser",
)
@article(mishra2009intelligently,
 author       = "B. Mishra",
 year         = "2009",
 title        = "Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology",
 journal      = "Journal of The Royal Society Interface",
 volume       = "6",
 number       = "36",
 pages        = "575--597",
 doi          = "10.1098/rsif.2008.0546",
)
@article(SASB2011,
 author       = "V. Noel and D. Grigoriev and S. Vakulenko and O. Radulescu",
 year         = "2012",
 title        = "{Tropical geometries and dynamics of biochemical networks. Application to hybrid cell cycle models}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "284",
 pages        = "75--91",
 doi          = "10.1016/j.entcs.2012.05.016",
)
@inproceedings(noel2010,
 author       = "V. Noel and S. Vakulenko and O. Radulescu",
 year         = "2010",
 title        = "Piecewise smooth hybrid systems as models for networks in molecular biology",
 booktitle    = "Proceedings of JOBIM 2010",
 publisher    = "Jobim, Montpellier",
)
@article(noel2011,
 author       = "V. Noel and S. Vakulenko and O. Radulescu",
 year         = "2011",
 title        = "Algorithm for identification of piecewise smooth hybrid systems: application to eukaryotic cell cycle regulation",
 journal      = "Lecture Notes in Computer Science",
 volume       = "6833",
 pages        = "225--236",
 doi          = "10.1007/978-3-642-23038-7_20",
)
@article(porreca2008structural,
 author       = "R. Porreca and S. Drulhe and H. Jong and G. Ferrari-Trecate",
 year         = "2008",
 title        = "Structural identification of piecewise-linear models of genetic regulatory networks",
 journal      = "Journal of Computational Biology",
 volume       = "15",
 number       = "10",
 pages        = "1365--1380",
 doi          = "10.1089/cmb.2008.0109",
)
@article(TSI,
 author       = "O. Radulescu and A. Muller and A. Crudu",
 year         = "2007",
 title        = "Th\'eor\`emes limites pour des processus de Markov \`a sauts. Synth\`ese des resultats et applications en biologie moleculaire",
 journal      = "Technique et Science Informatique",
 volume       = "26",
 pages        = "443--469",
 doi          = "10.3166/tsi.26.443-469",
)
@article(ropers2011model,
 author       = "D. Ropers and V. Baldazzi and H. de Jong",
 year         = "2011",
 title        = "{Model reduction using piecewise-linear approximations preserves dynamic properties of the carbon starvation response in Escherichia coli}",
 journal      = "IEEE/ACM Transactions on Computational Biology and Bioinformatics",
 volume       = "8",
 number       = "1",
 pages        = "166--181",
 doi          = "10.1109/TCBB.2009.49",
)
@article(savageau2009phenotypes,
 author       = "M.A. Savageau and P.M.B.M. Coelho and R.A. Fasani and D.A. Tolla and A. Salvador",
 year         = "2009",
 title        = "Phenotypes and tolerances in the design space of biochemical systems",
 journal      = "Proceedings of the National Academy of Sciences",
 volume       = "106",
 number       = "16",
 pages        = "6435",
 doi          = "10.1073/pnas.0809869106",
)
@article(shorten2007stability,
 author       = "R. Shorten and F. Wirth and O. Mason and K. Wulff and C. King",
 year         = "2007",
 title        = "{Stability Criteria for Switched and Hybrid Systems.}",
 journal      = "SIAM Review",
 volume       = "49",
 number       = "4",
 pages        = "545--592",
 doi          = "10.1137/05063516X",
)
@article(singh2010stochastic,
 author       = "A. Singh and J.P. Hespanha",
 year         = "2010",
 title        = "Stochastic hybrid systems for studying biochemical processes",
 journal      = "Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences",
 volume       = "368",
 number       = "1930",
 pages        = "4995--5011",
 doi          = "10.1098/rsta.2010.0211",
)
@article(singhania2011hybrid,
 author       = "R. Singhania and R.M. Sramkoski and J.W. Jacobberger and J.J. Tyson",
 year         = "2011",
 title        = "A hybrid model of mammalian cell cycle regulation",
 journal      = "PLoS computational biology",
 volume       = "7",
 number       = "2",
 pages        = "e1001077",
 doi          = "10.1371/journal.pcbi.1001077",
)
@book(y1996global,
 author       = "Y. Takeuchi",
 year         = "1996",
 title        = "Global dynamical properties of Lotka-Volterra systems",
 publisher    = "World Scientific",
 address      = "Singapore",
)
@article(tavernini1987differential,
 author       = "L. Tavernini",
 year         = "1987",
 title        = "{Differential automata and their discrete simulators.}",
 journal      = "Nonlinear Anal. Theory Methods Applic.",
 volume       = "11",
 number       = "6",
 pages        = "665--683",
 doi          = "10.1016/0362-546X(87)90034-4",
)
@article(tyson1991modeling,
 author       = "J.J. Tyson",
 year         = "1991",
 title        = "Modeling the cell division cycle: cdc2 and cyclin interactions",
 journal      = "Proceedings of the National Academy of Sciences of the United States of America",
 volume       = "88",
 number       = "16",
 pages        = "7328",
 doi          = "10.1073/pnas.88.16.7328",
)
@article(ye2008modelling,
 author       = "P. Ye and E. Entcheva and SA Smolka and R. Grosu",
 year         = "2008",
 title        = "Modelling excitable cells using cycle-linear hybrid automata",
 journal      = "Systems Biology, IET",
 volume       = "2",
 number       = "1",
 pages        = "24--32",
 doi          = "10.1049/iet-syb:20070001",
)