@inproceedings(Alur,
 author       = "R. Alur and C. Courcoubetis and T. A. Henzinger and P. H. Ho",
 year         = "1992",
 title        = "Hybrid {A}utomata: {A}n {A}lgorithmic {A}pproach to the {S}pecification and {V}erification of {H}ybrid {S}ystems",
 editor       = "R. L. Grossman and A. Nerode and A. P. Ravn and H. Richel",
 booktitle    = "Hybrid Systems",
 series       = "LNCS",
 publisher    = "Springer",
 pages        = "209--229",
 doi          = "10.1007/3-540-57318-6\_30",
)
@article(alur94,
 author       = "R. Alur and D. L. Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 journal      = "Theoret. Comput. Sci.",
 volume       = "126",
 number       = "2",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@article(Bartocci2009,
 author       = "E. Bartocci and F. Corradini and E. Merelli and L. Tesei",
 year         = "2009",
 title        = "Model Checking Biological Oscillators",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "299",
 number       = "1",
 pages        = "41--58",
 doi          = "10.1016/j.entcs.2009.02.004",
)
@book(dang_model_based,
 author       = "T. Dang",
 year         = "2010",
 title        = "Model-based testing of hybrid systems",
 series       = "Model-Based Testing for Embedded Systems",
 publisher    = "CRC Press",
 doi          = "10.1201/b11321-15",
)
@article(DangNahhalFMSD2009,
 author       = "T. Dang and T. Nahhal",
 year         = "2009",
 title        = "Coverage-guided test generation for continuous and hybrid systems",
 journal      = "Form. Methods Syst. Des.",
 volume       = "34",
 number       = "2",
 pages        = "183--213",
 doi          = "10.1007/s10703-009-0066-0",
)
@inproceedings(Brim2012,
 author       = "P. Dluhos and L. Brim and D. Safr‡nek",
 year         = "2012",
 title        = "On Expressing and Monitoring Oscillatory Dynamics",
 booktitle    = "HSB 2012",
 doi          = "10.4204/EPTCS.92.6",
)
@inproceedings(Donahue2009,
 author       = "M. M. Donahue and G. Buzzard and A. E. Rundell",
 year         = "2009",
 title        = "Robust parameter identification with adaptive sparse grid-based optimization for nonlinear systems biology models",
 booktitle    = "ACC Conference",
 doi          = "10.1109/ACC.2009.5160512",
)
@inproceedings(4434348,
 author       = "R. Ghaemi and D. Del Vecchio",
 year         = "2007",
 title        = "Evaluating the robustness of a biochemical network model",
 booktitle    = "Decision and Control, 2007 46th IEEE Conference on",
 pages        = "615--620",
 doi          = "10.1109/CDC.2007.4434348",
)
@article(DelVecchio2009,
 author       = "R. Ghaemi and J. Sun and P. A. Iglesias and D. Del Vecchio",
 year         = "2009",
 title        = "A Method for determining the robustness of bio-molecular oscillator models",
 journal      = "BMC Systems Biology",
 volume       = "3",
 number       = "95",
 doi          = "10.1186/1752-0509-3-95",
)
@article(Iglesias2006,
 author       = "J. Kim and D. G. Bates and I. Postlethwaite and L. Ma and P. A. Iglesias",
 year         = "2006",
 title        = "Robustness analysis of biochemical network models",
 journal      = "IEE Proc. Systems Biology",
 volume       = "153",
 number       = "2",
 pages        = "96--104",
 doi          = "10.1049/ip-syb:20050024",
)
@article(laub1998molecular,
 author       = "M.T. Laub and W.F. Loomis",
 year         = "1998",
 title        = "A molecular network that produces spontaneous oscillations in excitable cells of Dictyostelium",
 journal      = "Molecular biology of the cell",
 volume       = "9",
 number       = "12",
 pages        = "3521--3532",
 doi          = "10.1091/mbc.9.12.3521",
)
@book(Motwani:1995:RA:211390,
 author       = "R. Motwani and P. Raghavan",
 year         = "1995",
 title        = "Randomized algorithms",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
 doi          = "10.1017/CBO9780511814075",
)
@article(Nonaka20101889,
 author       = "Y. Nonaka and H. Ono and K. Sadakane and M. Yamashita",
 year         = "2010",
 title        = "The hitting and cover times of Metropolis walks",
 journal      = "Theoret. Comput. Sci.",
 volume       = "411",
 number       = "16–18",
 pages        = "1889 -- 1894",
 doi          = "10.1016/j.tcs.2010.01.032",
)
@book(Kuznetsov2004,
 author       = "Kuznetsov Y.",
 year         = "2004",
 title        = "{Elements of Applied Bifurcation Theory }",
 publisher    = "Springer",
)