{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:19:54Z","timestamp":1726031994644},"publisher-location":"Cham","reference-count":65,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030172961"},{"type":"electronic","value":"9783030172978"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-17297-8_3","type":"book-chapter","created":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T13:04:12Z","timestamp":1560258252000},"page":"63-92","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Statistical Model Checking-Based Analysis of Biological Networks"],"prefix":"10.1007","author":[{"given":"Bing","family":"Liu","sequence":"first","affiliation":[]},{"given":"Benjamin M.","family":"Gyori","sequence":"additional","affiliation":[]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,12]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Abate A, Ames AD, Sastry SS (2005) Stochastic approximations of hybrid systems. In: ACC\u201905, pp 1557\u20131562","DOI":"10.1109\/ACC.2005.1470189"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/11730637_4","volume-title":"Hybrid Systems: Computation and Control","author":"Manindra Agrawal","year":"2006","unstructured":"Agrawal M, Stephan F, Thiagarajan PS, Yang S (2006) Behavioural approximations for restricted linear differential hybrid automata. In: HSCC\u201906, pp 4\u201318"},{"key":"3_CR3","doi-asserted-by":"publisher","DOI":"10.1201\/9780203833445","volume-title":"Molecular Biology of the Cell","author":"Bruce Alberts","year":"2007","unstructured":"Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter, P (2002) Molecular biology of the cell, 4th edn. Garland Science, New York"},{"issue":"11","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1195","DOI":"10.1038\/ncb1497","volume":"8","author":"BB Aldridge","year":"2006","unstructured":"Aldridge BB, Burke JM, Lauffenburger DA, Sorger PK (2006) Physicochemical modelling of cell signalling pathways. Nat Cell Biol 8(11):1195\u20131203","journal-title":"Nat Cell Biol"},{"issue":"7","key":"3_CR5","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971\u2013984","journal-title":"Proc IEEE"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Ballarini P, Djafri H, Duflot M, Haddad S, Pekergin N (2011) COSMOS: a statistical model checker for the hybrid automata stochastic logic. In: QEST\u201911, pp 143\u2013144","DOI":"10.1109\/QEST.2011.24"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Biere A, Cimatti A, Clarke E, Zhu Y (1999) Symbolic model checking without bdds. In: TACAS\u201999. Springer, Berlin, pp 193\u2013207","DOI":"10.21236\/ADA360973"},{"key":"3_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/11587392","volume-title":"Stochastic hybrid systems: theory and safety critical applications","author":"HA Blom","year":"2006","unstructured":"Blom HA, Lygeros J, Everdij M, Loizou S, Kyriakopoulos K (2006) Stochastic hybrid systems: theory and safety critical applications. Springer, Heidelberg"},{"issue":"3","key":"3_CR9","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1088\/1478-3967\/1\/3\/006","volume":"1","author":"KS Brown","year":"2004","unstructured":"Brown KS, Hill CC, Calero GA, Myers CR, Lee KH, Sethna JP, Cerione RA (2004) The statistical mechanics of complex signaling networks: nerve growth factor signaling. Phys Biol 1(3):184","journal-title":"Phys Biol"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1016\/j.jtbi.2008.03.029","volume":"253","author":"A Bueno-Orovio","year":"2008","unstructured":"Bueno-Orovio A, Cherry EM, Fenton FH (2008) Minimal model for human ventricular action potentials in tissue. J Theor Biol 253:544\u2013560","journal-title":"J Theor Biol"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"Laurence Calzone","year":"2006","unstructured":"Calzone L, Chabrier-Rivier N, Fages F, Soliman S (2006) Machine learning biochemical networks from temporal logic properties. In: Transactions on computational systems biology VI, pp 68\u201394"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lygeros J (2010) Stochastic hybrid systems. CRC Press","DOI":"10.1017\/CBO9780511807930.008"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Clarke EM, Fehnker A, Han Z, Krogh BH, Stursberg O, Theobald M (2003) Verification of hybrid systems based on counterexample-guided abstraction refinement. In: TACAS\u201903, pp 192\u2013207","DOI":"10.1007\/3-540-36577-X_14"},{"key":"3_CR14","first-page":"231","volume-title":"CMSB\u201908","author":"EM Clarke","year":"2008","unstructured":"Clarke EM, Faeder JR, Langmead CJ, Harris LA, Jha SK, Legay A (2008) Statistical model checking in BioLab: applications to the automated analysis of T-cell receptor signaling pathway. CMSB\u201908. Springer, Berlin\/Heidelberg, pp 231\u2013250"},{"key":"3_CR15","unstructured":"Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT press"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0165-0173(00)00021-7","volume":"33","author":"GV Ferrari De","year":"2000","unstructured":"De Ferrari GV, Inestrosa NC (2000) Wnt signaling function in Alzheimer\u2019s disease. Brain Res Rev 33:1\u201312","journal-title":"Brain Res Rev"},{"key":"3_CR17","unstructured":"Donaldson R, Gilbert D (2008) A Monte Carlo model checker for probabilistic LTL with numerical constraints. University of Glasgow, Department of computer science, Technical reports"},{"key":"3_CR18","first-page":"269","volume-title":"CMSB\u201908","author":"R Donaldson","year":"2008","unstructured":"Donaldson R, Gilbert D (2008) A model checking approach to the parameter estimation of biochemical pathways. CMSB\u201908. Springer, Berlin\/Heidelberg, pp 269\u2013287"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0735-1097(95)00167-X","volume":"26","author":"E Drouin","year":"1995","unstructured":"Drouin E, Charpentier F, Gauthier C, Laurent K, Le Marec H (1995) Electrophysiologic characteristics of cells spanning the left ventricular wall of human heart: evidence for presence of M cells. J Am Coll Cardiol 26:185\u2013192","journal-title":"J Am Coll Cardiol"},{"issue":"6767","key":"3_CR20","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M Elowitz","year":"2000","unstructured":"Elowitz M, Leibler S (2000) A synthetic oscillatory network of transcriptional regulators. Nature 403(6767):335\u2013338","journal-title":"Nature"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1063\/1.166311","volume":"8","author":"F Fenton","year":"1998","unstructured":"Fenton F, Karma A (1998) Vortex dynamics in 3D continuous myocardium with fiber rotation: filament instability and fibrillation. Chaos 8:20\u201347","journal-title":"Chaos"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"Hybrid Systems: Computation and Control","author":"Goran Frehse","year":"2005","unstructured":"Frehse G (2005) Phaver: algorithmic verification of hybrid systems past hytech. In: HSCC\u201905, pp 258\u2013273"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-38574-2_14","volume-title":"Automated Deduction \u2013 CADE-24","author":"Sicun Gao","year":"2013","unstructured":"Gao S, Kong S, Clarke EM (2013) dReal: an SMT solver for nonlinear theories over the reals. In: CADE\u201913. Springer, Berlin, pp 208\u2013214"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11730637_21","volume-title":"Hybrid Systems: Computation and Control","author":"Antoine Girard","year":"2006","unstructured":"Girard A, Le\u00a0Guernic C, Maler O (2006) Efficient computation of reachable sets of linear time-invariant systems with inputs. In: HSCC\u201906, pp 257\u2013271"},{"key":"3_CR25","unstructured":"Goldberg D (1989) Genetic algorithms in search, optimization, and machine learning. Addison-Wesley"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1016\/j.jtbi.2008.01.006","volume":"252","author":"A Goldbeter","year":"2008","unstructured":"Goldbeter A, Pourquie O (2008) Modeling the segmentation clock as a network of coupled oscillations in the Notch, Wnt and FGF signaling pathways. J Theor Biol 252:574\u2013585","journal-title":"J Theor Biol"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-22110-1_31","volume-title":"Computer Aided Verification","author":"Radu Grosu","year":"2011","unstructured":"Grosu R, Batt G, Fenton FH, Gilmm J, Guernic CL, Smolka SA, Bartocci E (2011) From cardiac cells to genetic regulatory networks. In: CAV\u201911, pp 396\u2013411"},{"issue":"11","key":"3_CR28","doi-asserted-by":"publisher","first-page":"954","DOI":"10.15252\/msb.20177651","volume":"13","author":"BM Gyori","year":"2017","unstructured":"Gyori BM, Bachman JA, Subramanian K, Muhlich JL, Galescu L, Sorger PK (2017) From word models to executable models of signaling networks using automated assembly. Mol Syst Biol 13(11):954","journal-title":"Mol Syst Biol"},{"key":"3_CR29","first-page":"96","volume-title":"HSB\u201915","author":"BM Gyori","year":"2015","unstructured":"Gyori BM, Liu B, Paul S, Ramanathan R, Thiagarajan PS (2015) Approximate probabilistic verification of hybrid systems. HSB\u201915. Springer, Berlin, pp 96\u2013116"},{"issue":"3","key":"3_CR30","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"391","author":"J Heath","year":"2008","unstructured":"Heath J, Kwiatkowska M, Norman G, Parker D, Tymchyshyn O (2008) Probabilistic model checking of complex biological pathways. Theor Comput Sci 391(3):239\u2013257","journal-title":"Theor Comput Sci"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Henzinger T (1996) The theory of hybrid automata. In: LICS\u201996, pp 278\u2013292","DOI":"10.1109\/LICS.1996.561342"},{"issue":"1","key":"3_CR32","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/S0304-3975(99)00038-9","volume":"221","author":"T Henzinger","year":"1999","unstructured":"Henzinger T, Kopke P (1999) Discrete-time control for rectangular hybrid automata. Theor Comput Sci 221(1):369\u2013392","journal-title":"Theor Comput Sci"},{"issue":"1","key":"3_CR33","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"Thomas A. Henzinger","year":"1998","unstructured":"Henzinger TA, W. Kopke PW, Puri A, Varaiya P (1998) What\u2019s decidable about hybrid automata? J Comput Syst Sci 57(1):94\u2013124","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR34","first-page":"73","volume-title":"VMCAI\u201903","author":"T H\u00e9rault","year":"2003","unstructured":"H\u00e9rault T, Lassaigne R, Magniette F, Peyronnet S (2003) Approximate probabilistic model checking. VMCAI\u201903. Springer, Berlin, pp 73\u201384"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Hirsch M, Smale S, Devaney R (2012) Differential equations, dynamical systems, and an introduction to chaos. Academic Press","DOI":"10.1016\/B978-0-12-382010-5.00015-4"},{"key":"3_CR36","first-page":"218","volume-title":"CMSB","author":"SK Jha","year":"2009","unstructured":"Jha SK, Clarke EM, Langmead CJ, Legay A, Platzer A, Zuliani P (2009) A Bayesian approach to model checking biological systems. CMSB. Springer, Berlin\/Heidelberg, pp 218\u2013234"},{"issue":"6","key":"3_CR37","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.1109\/TAC.2009.2019791","volume":"54","author":"AA Julius","year":"2009","unstructured":"Julius AA, Pappas GJ (2009) Approximations of stochastic hybrid systems. IEEE Trans Autom Control 54(6):1193\u20131203","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"3_CR38","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1038\/nchembio.2238","volume":"13","author":"VE Kagan","year":"2017","unstructured":"Kagan VE, Mao G, Qu F, Angeli JPF, Doll S, St Croix C, Dar HH, Liu B, Tyurin VA, Ritov VB et al (2017) Oxidized arachidonic and adrenic PEs navigate cells to ferroptosis. Nat Chem Biol 13(1):81","journal-title":"Nat Chem Biol"},{"key":"3_CR39","doi-asserted-by":"publisher","DOI":"10.1002\/3527603603","volume-title":"Systems biology in practice: concepts, implementation and application","author":"E Klipp","year":"2005","unstructured":"Klipp E, Herwig R, Kowald A, Wierling C, Lehrach H (2005) Systems biology in practice: concepts, implementation and application. Wiley-VCH, Weinheim"},{"key":"3_CR40","doi-asserted-by":"publisher","first-page":"D689","DOI":"10.1093\/nar\/gkj092","volume":"34","author":"N Novere Le","year":"2006","unstructured":"Le Novere N, Bornstein B, Broicher A, Courtot M, Donizelli M, Dharuri H, Li L, Sauro H, Schilstra M, Shapiro B, Snoep J, Hucka M (2006) BioModels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucl Acids Res 34:D689\u2013D691","journal-title":"Nucl Acids Res"},{"issue":"5","key":"3_CR41","doi-asserted-by":"publisher","first-page":"1576","DOI":"10.1039\/c0mb00253d","volume":"7","author":"C Li","year":"2011","unstructured":"Li C, Nagasaki M, Koh CH, Miyano S (2011) Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension. Mol Biosyst 7(5):1576\u201392","journal-title":"Mol Biosyst"},{"key":"3_CR42","doi-asserted-by":"publisher","first-page":"6245","DOI":"10.1038\/srep06245","volume":"4","author":"B Liu","year":"2014","unstructured":"Liu B, Bhatt D, Oltvai ZN, Greenberger JS, Bahar I (2014) Significance of p53 dynamics in regulating apoptosis in response to ionizing radiation, and polypharmacological strategies. Sci Rep 4:6245","journal-title":"Sci Rep"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"Liu B, Faeder JR (2016) Parameter estimation of rule-based models using statistical model checking. In: BIBM\u201916. IEEE, pp 1458\u20131464","DOI":"10.1109\/BIBM.2016.7822738"},{"issue":"11","key":"3_CR44","doi-asserted-by":"publisher","first-page":"1508","DOI":"10.1093\/bioinformatics\/bts166","volume":"28","author":"B Liu","year":"2012","unstructured":"Liu B, Hagiescu A, Palaniappan SK, Chattopadhyay B, Cui Z, Wong W, Thiagarajan PS (2012) Approximate probabilistic analysis of biopathway dynamics. Bioinformatics 28(11):1508\u20131516","journal-title":"Bioinformatics"},{"key":"3_CR45","unstructured":"Liu B, Kong S, Gao S, Zuliani P, Clarke EM (2014) Parameter synthesis for cardiac cell hybrid models using $$\\delta $$ -decisions. In: CMSB\u201914, pp 99\u2013113"},{"issue":"436","key":"3_CR46","doi-asserted-by":"publisher","first-page":"ra70","DOI":"10.1126\/scisignal.aac9340","volume":"9","author":"B Liu","year":"2016","unstructured":"Liu B, Liu Q, Palaniappan S, Bahar I, Thiagarajan PS, Ding JL (2016) Innate immune memory and homeostasis may be conferred through TLR3-TLR7 pathway crosstalk. Sci Signal 9(436):ra70","journal-title":"Sci Signal"},{"issue":"1","key":"3_CR47","doi-asserted-by":"publisher","first-page":"17605","DOI":"10.1038\/s41598-017-18001-w","volume":"7","author":"B Liu","year":"2017","unstructured":"Liu B, Oltvai ZN, Bay\u0131r H, Silverman GA, Pak SC, Perlmutter DH, Bahar I (2017) Quantitative assessment of cell fate decision between autophagy and apoptosis. Sci Rep 7(1):17605","journal-title":"Sci Rep"},{"key":"3_CR48","doi-asserted-by":"publisher","first-page":"1071","DOI":"10.1111\/j.1365-2443.2006.01001.x","volume":"11","author":"A Maedo","year":"2006","unstructured":"Maedo A, Ozaki Y, Sivakumaran S, Akiyama T, Urakubo H, Usami A, Sato M, Kaibuchi K, Kuroda S (2006) Ca $$^{2+}$$ -independent phospholipase A2-dependent sustained Rho-kinase activation exhibits all-or-none response. Genes Cells 11:1071\u20131083","journal-title":"Genes Cells"},{"issue":"1","key":"3_CR49","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1142\/S021972000600176X","volume":"4","author":"H Matsuno","year":"2006","unstructured":"Matsuno H, Inouye ST, Okitsu Y, Fujii Y, Miyano S (2006) A new regulatory interaction suggested by simulations for circadian genetic control mechanism in mammals. J Bioinform Comput Biol 4(1):139\u2013153","journal-title":"J Bioinform Comput Biol"},{"issue":"11","key":"3_CR50","doi-asserted-by":"publisher","first-page":"2467","DOI":"10.1101\/gr.1262503","volume":"13","author":"CG Moles","year":"2003","unstructured":"Moles CG, Mendes P, Banga JR (2003) Parameter estimation in biochemical pathways: a comparison of global optimization methods. Genome Res 13(11):2467\u20132474","journal-title":"Genome Res"},{"key":"3_CR51","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1161\/01.CIR.93.1.168","volume":"93","author":"M Nabauer","year":"1996","unstructured":"Nabauer M, Beuckelmann DJ, Uberfuhr P, Steinbeck G (1996) Regional differences in current density and rate-dependent properties of the transient outward current in subepicardial and subendocardial myocytes of human left ventricle. Circulation 93:169\u2013177","journal-title":"Circulation"},{"key":"3_CR52","first-page":"120","volume-title":"CMSB\u201913","author":"SK Palaniappan","year":"2013","unstructured":"Palaniappan SK, Gyori BM, Liu B, Hsu D, Thiagarajan PS (2013) Statistical model checking based calibration and analysis of bio-pathway models. CMSB\u201913. Springer, Berlin, pp 120\u2013134"},{"key":"3_CR53","first-page":"37","volume-title":"Parallelized parameter estimation of biological pathway models","author":"R Ramanathan","year":"2015","unstructured":"Ramanathan R, Zhang Y, Zhou J, Gyori BM, Wong WF, Thiagarajan PS (2015) Parallelized parameter estimation of biological pathway models. Springer, Berlin, pp 37\u201357"},{"key":"3_CR54","first-page":"251","volume-title":"CMSB","author":"A Rizk","year":"2008","unstructured":"Rizk A, Batt G, Fages F, Soliman S (2008) On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. CMSB. Springer, Berlin\/Heidelberg, pp 251\u2013268"},{"key":"3_CR55","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1109\/4235.873238","volume":"4","author":"T Runarsson","year":"2000","unstructured":"Runarsson T, Yao X (2000) Stochastic ranking for constrained evolutionary optimization. IEEE Trans Evol Comput 4:284\u2013294","journal-title":"IEEE Trans Evol Comput"},{"issue":"2","key":"3_CR56","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1038\/nrm3044","volume":"12","author":"B Snijder","year":"2011","unstructured":"Snijder B, Pelkmans L (2011) Origins of regulated cell-to-cell variability. Nat Rev Mol Cell Biol 12(2):119\u2013125","journal-title":"Nat Rev Mol Cell Biol"},{"key":"3_CR57","doi-asserted-by":"crossref","unstructured":"Somlyo AP, Somlyo AV (2003) Ca $$^{2+}$$ sensitivity of smooth muscle and nonmuscle myosin ii: modulated by g proteins, kinases, and myosin phosphatase. Physiol Rev 83:1325\u20131358","DOI":"10.1152\/physrev.00023.2003"},{"issue":"7245","key":"3_CR58","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1038\/nature08012","volume":"459","author":"S Spencer","year":"2009","unstructured":"Spencer S, Gaudet S, Albeck J, Burke J, Sorger P (2009) Non-genetic origins of cell-to-cell variability in TRAIL-induced apoptosis. Nature 459(7245):428\u2013432","journal-title":"Nature"},{"key":"3_CR59","unstructured":"Supplementary information and source code (2018). http:\/\/www.pitt.edu\/~liubing\/smc\/"},{"issue":"101","key":"3_CR60","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1161\/CIRCRESAHA.107.153858","volume":"8","author":"K Tanaka","year":"2007","unstructured":"Tanaka K, Zlochiver S, Vikstrom K, Yamazaki M, Moreno J, Klos M, Zaitsev A, Vaidyanathan R, Auerbach D, Landas S, Guiraudon G, Jalife J, Berenfeld O, Kalifa J (2007) Spatial distribution of fibrosis governs fibrillation wave dynamics in the posterior left atrium during heart failure. Circ Res 8(101):839\u2013847","journal-title":"Circ Res"},{"key":"3_CR61","doi-asserted-by":"crossref","unstructured":"Vardi M (1985) Automatic verification of probabilistic concurrent finite-state programs. In: Proceedings of 26th IEEE symposium on foundations of computer science. IEEE, pp 327\u2013338","DOI":"10.1109\/SFCS.1985.12"},{"issue":"1","key":"3_CR62","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1186\/1752-0509-4-144","volume":"4","author":"A Wei\u00dfe","year":"2010","unstructured":"Wei\u00dfe A, Middleton R, Huisinga W (2010) Quantifying uncertainty, variability and likelihood for ordinary differential equation models. BMC Syst Biol 4(1):144","journal-title":"BMC Syst Biol"},{"key":"3_CR63","doi-asserted-by":"crossref","unstructured":"Wilkinson D (2011) Stochastic modelling for systems biology. CRC Press","DOI":"10.1201\/b11812"},{"key":"3_CR64","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/s10009-005-0187-8","volume":"8","author":"HLS Younes","year":"2006","unstructured":"Younes HLS, Kwiatkowska M, Norman G, Parker D (2006) Numerical versus statistical probabilistic model checking. Int J Softw Tools Technol Transf 8:216\u2013228","journal-title":"Int J Softw Tools Technol Transf"},{"key":"3_CR65","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"HLS Younes","year":"2006","unstructured":"Younes HLS, Simmons RG (2006) Statistical probabilistic model checking with a focus on time-bounded properties. Inform Comput 204:1368\u20131409","journal-title":"Inform Comput"}],"container-title":["Computational Biology","Automated Reasoning for Systems Biology and Medicine"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17297-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T09:56:26Z","timestamp":1663667786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17297-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030172961","9783030172978"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17297-8_3","relation":{},"ISSN":["1568-2684","2662-2432"],"issn-type":[{"type":"print","value":"1568-2684"},{"type":"electronic","value":"2662-2432"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}