{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:43Z","timestamp":1760202643381},"reference-count":58,"publisher":"Public Library of Science (PLoS)","issue":"5","license":[{"start":{"date-parts":[[2013,5,9]],"date-time":"2013-05-09T00:00:00Z","timestamp":1368057600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["www.ploscompbiol.org"],"crossmark-restriction":false},"short-container-title":["PLoS Comput Biol"],"DOI":"10.1371\/journal.pcbi.1003056","type":"journal-article","created":{"date-parts":[[2013,5,9]],"date-time":"2013-05-09T20:56:57Z","timestamp":1368133017000},"page":"e1003056","update-policy":"http:\/\/dx.doi.org\/10.1371\/journal.pcbi.corrections_policy","source":"Crossref","is-referenced-by-count":15,"title":["STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I\/Type II Cell Line Classification"],"prefix":"10.1371","volume":"9","author":[{"given":"Szymon","family":"Stoma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Donz\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Bertaux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oded","family":"Maler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Batt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"340","published-online":{"date-parts":[[2013,5,9]]},"reference":[{"key":"ref1","doi-asserted-by":"crossref","first-page":"4752","DOI":"10.1038\/onc.2010.221","article-title":"New insights into apoptosis signaling by Apo2L\/TRAIL","volume":"29","author":"F Gonzalvez","year":"2010","journal-title":"Oncogene"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1016\/j.cell.2011.03.002","article-title":"Measuring and modeling apoptosis in single cells","volume":"144","author":"SL Spencer","year":"2011","journal-title":"Cell"},{"key":"ref3","first-page":"573","article-title":"Why Target Apoptosis in Cancer Treatment?","volume":"2","author":"S Kasibhatla","year":"2003","journal-title":"Molecular Cancer Therapeutics"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"1035","DOI":"10.1038\/nature08229","article-title":"XIAP discriminates between type I and type II FAS-induced apoptosis","volume":"460","author":"PJ Jost","year":"2009","journal-title":"Nature"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1675","DOI":"10.1093\/emboj\/17.6.1675","article-title":"Two CD95 (APO-1\/Fas) signaling pathways","volume":"17","author":"C Scaffidi","year":"1998","journal-title":"The EMBO Journal"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1038\/msb.2011.85","article-title":"Lyapunov exponents and phase diagrams reveal multi-factorial control over TRAIL-induced apoptosis","volume":"7","author":"BB Aldridge","year":"2011","journal-title":"Molecular Systems Biology"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"36892","DOI":"10.1074\/jbc.M404893200","article-title":"Bistability analyses of a caspase activation model for receptor-induced apoptosis","volume":"279","author":"T Eissing","year":"2004","journal-title":"The Journal of Biological Chemistry"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1241","DOI":"10.1126\/science.1071914","article-title":"The IkappaB-NF-kappaB signaling module: temporal control and selective gene activation","volume":"298","author":"A Hoffmann","year":"2002","journal-title":"Science"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"839","DOI":"10.1083\/jcb.200404158","article-title":"Mathematical modeling reveals threshold mechanism in CD95-induced apoptosis","volume":"166","author":"M Bentele","year":"2004","journal-title":"The Journal of Cell Biology"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"985","DOI":"10.4049\/jimmunol.175.2.985","article-title":"Effects of Bcl-2 levels on Fas signaling-induced caspase-3 activation: molecular genetic tests of computational model predictions","volume":"175","author":"F Hua","year":"2005","journal-title":"Journal of Immunology"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1546","DOI":"10.1529\/biophysj.105.068122","article-title":"Bistability in apoptosis: roles of Bax, Bcl-2, and mitochondrial permeability transition pores","volume":"90","author":"EZ Bagci","year":"2006","journal-title":"Biophysical Journal"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"e120","DOI":"10.1371\/journal.pcbi.0020120","article-title":"Mathematical modeling identifies inhibitors of apoptosis as mediators of positive feedback and bistability","volume":"2","author":"S Legewie","year":"2006","journal-title":"PLoS Computational Biology"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"4338","DOI":"10.1038\/sj.emboj.7601295","article-title":"Systems analysis of effector caspase activation and its control by X-linked inhibitor of apoptosis protein","volume":"25","author":"M Rehm","year":"2006","journal-title":"The EMBO Journal"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"4304","DOI":"10.1529\/biophysj.106.099606","article-title":"Modeling of the Role of a Bax-Activation Switch in the Mitochondrial Apoptosis Decision","volume":"92","author":"C Chen","year":"2007","journal-title":"Biophysical Journal"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"2831","DOI":"10.1371\/journal.pbio.0060299","article-title":"Modeling a snap-action, variable-delay switch controlling extrinsic cell death","volume":"6","author":"JG Albeck","year":"2008","journal-title":"PLoS Biology"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1038\/nature08012","article-title":"Non-genetic origins of cell-to-cell variability in TRAIL-induced apoptosis","volume":"459","author":"SL Spencer","year":"2009","journal-title":"Nature"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1083\/jcb.201002060","article-title":"Model-based dissection of CD95 signaling dynamics reveals both a pro- and antiapoptotic role of c-FLIPL","volume":"190","author":"N Fricker","year":"2010","journal-title":"The Journal of Cell Biology"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1016\/j.jtbi.2009.04.024","article-title":"Boolean network-based analysis of the apoptosis network: irreversible apoptosis and stable surviving","volume":"259","author":"Z Mai","year":"2009","journal-title":"Journal of Theoretical Biology"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"e1000702","DOI":"10.1371\/journal.pcbi.1000702","article-title":"Mathematical modelling of cell-fate decision in response to death receptor engagement","volume":"6","author":"L Calzone","year":"2010","journal-title":"PLoS Computational Biology"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"5400","DOI":"10.1158\/0008-5472.CAN-10-4453","article-title":"Comparing signaling networks between normal and transformed hepatocytes using discrete logical models","volume":"71","author":"J Saez-Rodriguez","year":"2011","journal-title":"Cancer Research"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"e1000595","DOI":"10.1371\/journal.pcbi.1000595","article-title":"ON\/OFF and beyond\u2013a boolean model of apoptosis","volume":"5","author":"R Schlatter","year":"2009","journal-title":"PLoS Computational Biology"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1049\/ip-syb:20050065","article-title":"Direct Lyapunov exponent analysis enables parametric study of transient signalling governing cell behaviour","volume":"153","author":"B Aldridge","year":"2006","journal-title":"Systems Biology, IEE Proceedings"},{"key":"ref23","doi-asserted-by":"crossref","unstructured":"Maler O, Nickovic D (2004) Monitoring Temporal Properties of Continuous Signals. Proceedings of the Formal Techniques, Modelling and Analysis in Real-Time and Fault-Tolerant Systems Conference, FORMATS\/FTRTFT 2004, LNCS 3253. Springer-Verlag. pp. 152\u2013166.","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref24","doi-asserted-by":"crossref","unstructured":"Barnat J, Brim L, Cerna I, Drasan S, Safranek D (2008) Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Electronic Notes in Theoretical Computer Science. Springer-Verlag, Vol. 194. pp. 35\u201350.","DOI":"10.1016\/j.entcs.2007.12.001"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"2415","DOI":"10.1093\/bioinformatics\/btm362","article-title":"Robustness analysis and tuning of synthetic gene networks","volume":"23","author":"G Batt","year":"2007","journal-title":"Bioinformatics"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"i603","DOI":"10.1093\/bioinformatics\/btq387","article-title":"Efficient parameter search for qualitative models of regulatory networks using symbolic model checking","volume":"26","author":"G Batt","year":"2010","journal-title":"Bioinformatics"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","article-title":"Application of formal methods to biological regulatory networks: extending Thomas&apos; asynchronous logical approach with temporal logic","volume":"229","author":"G Bernot","year":"2004","journal-title":"Journal of Theoretical Biology"},{"key":"ref28","doi-asserted-by":"crossref","unstructured":"Donaldson R, Gilbert D (2008) A model checking approach to the parameter estimation of biochemical pathways. In: Proceedings of the 6th International Conference on Computational Methods in Systems Biology, CMSB 2008, LNCS 5307. Berlin: Springer-Verlag. pp. 269\u2013287.","DOI":"10.1007\/978-3-540-88562-7_20"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"e92","DOI":"10.1371\/journal.pcbi.0030092","article-title":"Predictive modeling of signaling crosstalk during C. elegans vulval development","volume":"3","author":"J Fisher","year":"2007","journal-title":"PLoS Computational Biology"},{"key":"ref30","doi-asserted-by":"crossref","unstructured":"Jha SK, Clarke EM, Langmead CJ, Legay A, Platzer A, <etal>et al<\/etal>.. (2009) A bayesian approach to model checking biological systems. In: Proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, LNCS 5688. Berlin: Springer-Verlag. pp. 218\u2013234.","DOI":"10.1007\/978-3-642-03845-7_15"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","article-title":"Probabilistic model checking of complex biological pathways","volume":"391","author":"J Heath","year":"2008","journal-title":"Theoretical Computer Science"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"e24246","DOI":"10.1371\/journal.pone.0024246","article-title":"Robustness analysis and behavior discrimination in enzymatic reaction networks","volume":"6","author":"A Donz\u00e9","year":"2011","journal-title":"PloS One"},{"key":"ref33","doi-asserted-by":"crossref","unstructured":"Donz\u00e9 A (2010) Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Proceedings of the 22nd International Conference on Computer Aided Verification, CAV&apos;10, LNCS 6174. Berlin: Springer-Verlag. pp. 167\u2013170.","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S1044-5323(03)00031-9","article-title":"The CD95 Type I\/Type II model","volume":"15","author":"BC Barnhart","year":"2003","journal-title":"Seminars in Immunology"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"11445","DOI":"10.1073\/pnas.2034995100","article-title":"Two CD95 tumor classes with different sensitivities to antitumor drugs","volume":"100","author":"A Algeciras-Schimnich","year":"2003","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1038\/sj.neo.7900270","article-title":"Defining characteristics of Types I and II apoptotic cells in response to TRAIL","volume":"4","author":"N Oz\u00f6ren","year":"2002","journal-title":"Neoplasia"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"24506","DOI":"10.1074\/jbc.M110789200","article-title":"Single-cell fluorescence resonance energy transfer analysis demonstrates that caspase activation during apoptosis is a rapid process. Role of caspase-3","volume":"277","author":"M Rehm","year":"2002","journal-title":"The Journal of Biological Chemistry"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/j.molcel.2008.02.012","article-title":"Quantitative analysis of pathways controlling extrinsic apoptosis in single cells","volume":"30","author":"JG Albeck","year":"2008","journal-title":"Molecular Cell"},{"key":"ref39","doi-asserted-by":"crossref","first-page":"1913","DOI":"10.1073\/pnas.1117158109","article-title":"Global kinetic analysis of proteolysis via quantitative targeted proteomics","volume":"109","author":"NJ Agard","year":"2012","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"1613","DOI":"10.1038\/cdd.2010.39","article-title":"Smac\/DIABLO release from mitochondria and XIAP inhibition are essential to limit clonogenicity of Type I tumor cells after TRAIL receptor stimulation","volume":"17","author":"C Maas","year":"2010","journal-title":"Cell Death and Differentiation"},{"key":"ref41","article-title":"Nonlinear programming: analysis and methods","author":"M Avriel","year":"2003","journal-title":"Courier Dover Publications"},{"key":"ref42","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1162\/106365601750190398","article-title":"Completely derandomized self-adaptation in evolution strategies","volume":"9","author":"N Hansen","year":"2001","journal-title":"Evolutionary Computation"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"e212","DOI":"10.1038\/cddis.2011.93","article-title":"Caspase-8 activity has an essential role in CD95\/Fas-mediated MAPK activation","volume":"2","author":"MM Kober a","year":"2011","journal-title":"Cell Death and Disease"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"4296","DOI":"10.1242\/jcs.055590","article-title":"Determinism and divergence of apoptosis susceptibility in mammalian cells","volume":"122","author":"PD Bhola","year":"2009","journal-title":"Journal of Cell Science"},{"key":"ref45","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1038\/cdd.2008.187","article-title":"Dynamics of outer mitochondrial membrane permeabilization during apoptosis","volume":"16","author":"M Rehm","year":"2009","journal-title":"Cell Death and Differentiation"},{"key":"ref46","doi-asserted-by":"crossref","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","article-title":"Robustness of temporal logic specifications for continuous-time signals","volume":"410","author":"GE Fainekos","year":"2009","journal-title":"Theoretical Computer Science"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","article-title":"Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures","volume":"412","author":"A Rizk","year":"2011","journal-title":"Theoretical Computer Science"},{"key":"ref48","doi-asserted-by":"crossref","unstructured":"Donz\u00e9 A, Maler O (2010) Robust satisfaction of temporal logic over real-valued signals. Formal Modeling and Analysis of Timed Systems: 92\u2013106.","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref49","doi-asserted-by":"crossref","unstructured":"Klipp E, Herwig R, Kowald A, Wierling C, Lehrach H (2005) Systems Biology in Practice. Concepts, Implementation and Application. Wiley-VCH.","DOI":"10.1002\/3527603603"},{"key":"ref50","unstructured":"Szallasi Z, Stelling J, Periwal V (2010) System Modeling in Cellular Biology: From Concepts to Nuts and Bolts. Boston: MIT Press."},{"key":"ref51","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1038\/nrg3096","article-title":"Software for systems biology: from tools to integrated platforms","volume":"12","author":"S Ghosh","year":"2011","journal-title":"Nature reviews Genetics"},{"key":"ref52","doi-asserted-by":"crossref","unstructured":"Serban R, Hindmarsh A (2005) CVODES, the sensitivity-enabled ODE solver in SUNDIALS. Proceedings of IDETC\/CIE; Sept 2005; Long Beach, California, United States.","DOI":"10.1115\/DETC2005-85597"},{"key":"ref53","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1038\/sj.cdd.4401186","article-title":"The CD95(APO-1\/Fas) DISC and beyond","volume":"10","author":"ME Peter","year":"2003","journal-title":"Cell Death and Differentiation"},{"key":"ref54","first-page":"781","article-title":"Structural basis of caspase inhibition by XIAP: differential roles of the linker versus the BIR domain","volume":"104","author":"Y Huang","year":"2001","journal-title":"Cell"},{"key":"ref55","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1124\/mol.64.2.334","article-title":"Preservation of caspase-3 subunits from degradation contributes to apoptosis evoked by lactacystin: any single lysine or lysine pair of the small subunit is sufficient for ubiquitination","volume":"64","author":"L Chen","year":"2003","journal-title":"Molecular Pharmacology"},{"key":"ref56","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1016\/S0092-8674(00)81589-5","article-title":"Bid, a Bcl2 interacting protein, mediates cytochrome c release from mitochondria in response to activation of cell surface death receptors","volume":"94","author":"X Luo","year":"1998","journal-title":"Cell"},{"key":"ref57","doi-asserted-by":"crossref","first-page":"1348","DOI":"10.1038\/ncb1499","article-title":"Hierarchical regulation of mitochondrion-dependent apoptosis by BCL-2 subfamilies","volume":"8","author":"H Kim","year":"2006","journal-title":"Nature Cell Biology"},{"key":"ref58","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0092-8674(00)00008-8","article-title":"Smac, a mitochondrial protein that promotes cytochrome c-dependent caspase activation by eliminating IAP inhibition","volume":"102","author":"C Du","year":"2000","journal-title":"Cell"}],"container-title":["PLoS Computational Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/dx.plos.org\/10.1371\/journal.pcbi.1003056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,9]],"date-time":"2020-05-09T00:19:40Z","timestamp":1588983580000},"score":1,"resource":{"primary":{"URL":"https:\/\/dx.plos.org\/10.1371\/journal.pcbi.1003056"}},"subtitle":[],"editor":[{"given":"Stanislav","family":"Shvartsman","sequence":"first","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2013,5,9]]},"references-count":58,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2013,5,9]]}},"URL":"https:\/\/doi.org\/10.1371\/journal.pcbi.1003056","relation":{},"ISSN":["1553-7358"],"issn-type":[{"value":"1553-7358","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,9]]}}}