STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification

PLoS Computational Biology

Volumn 9, Issue 5, 2013, Pages

  Stoma, Szymon ^a   Donzé, Alexandre ^b,c   Bertaux, François ^a   Maler, Oded ^b   Batt, Gregory ^a  

^a INRIA   (France)

^b CNRS   (France)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CELL CULTURE; CELL DEATH; CHEMICAL ACTIVATION; FORMAL LANGUAGES; POPULATION STATISTICS; SIGNAL TRANSDUCTION; TEMPORAL LOGIC;

CASPASE ACTIVATION; CELL LINES; CELL TYPES; INDUCED APOPTOSIS; LINE CLASSIFICATION; MITOCHONDRIAS; MOLECULAR MECHANISM; PROGRAMMED CELL DEATHS; RELATIVE ORDER; TYPE II;

LIGANDS;

CASPASE; TUMOR NECROSIS FACTOR RELATED APOPTOSIS INDUCING LIGAND;

APOPTOSIS; ARTICLE; CANCER CELL CULTURE; CELL FUNCTION; CELL SURVIVAL; CELL TYPE; CONTROLLED STUDY; FEEDBACK SYSTEM; HUMAN; HUMAN CELL; MATHEMATICAL ANALYSIS; MUTANT; SIGNAL TEMPORAL LOGIC;

EID: 84878492937     PISSN: 1553734X     EISSN: 15537358     Source Type: Journal    
DOI: 10.1371/journal.pcbi.1003056     Document Type: Article

References (58)

1. Gonzalvez F, Ashkenazi A, (2010) New insights into apoptosis signaling by Apo2L/TRAIL. Oncogene 29: 4752-4765.
2. Spencer SL, Sorger PK, (2011) Measuring and modeling apoptosis in single cells. Cell 144: 926-939.
3. Kasibhatla S, Tseng B, (2003) Why Target Apoptosis in Cancer Treatment? Molecular Cancer Therapeutics 2: 573-580.
4. Jost PJ, Grabow S, Gray D, McKenzie MD, Nachbur U, et al. (2009) XIAP discriminates between type I and type II FAS-induced apoptosis. Nature 460: 1035-1039.
5. Scaffidi C, Fulda S, Srinivasan A, Friesen C, Li F, et al. (1998) Two CD95 (APO-1/Fas) signaling pathways. The EMBO Journal 17: 1675-1687.
6. Aldridge BB, Gaudet S, Lauffenburger DA, Sorger PK, (2011) Lyapunov exponents and phase diagrams reveal multi-factorial control over TRAIL-induced apoptosis. Molecular Systems Biology 7: 553.
7. Eissing T, Conzelmann H, Gilles ED, Allgöwer F, Bullinger E, et al. (2004) Bistability analyses of a caspase activation model for receptor-induced apoptosis. The Journal of Biological Chemistry 279: 36892-36897.
8. Hoffmann A, Levchenko A, Scott ML, Baltimore D, (2002) The IkappaB-NF-kappaB signaling module: temporal control and selective gene activation. Science 298: 1241-1245.
9. Bentele M, Lavrik I, Ulrich M, Stösser S, Heermann DW, et al. (2004) Mathematical modeling reveals threshold mechanism in CD95-induced apoptosis. The Journal of Cell Biology 166: 839-851.
10. Hua F, Cornejo MG, Cardone MH, Stokes CL, Lauffenburger DA, (2005) Effects of Bcl-2 levels on Fas signaling-induced caspase-3 activation: molecular genetic tests of computational model predictions. Journal of Immunology 175: 985-995.
11. Bagci EZ, Vodovotz Y, Billiar TR, Ermentrout GB, Bahar I, (2006) Bistability in apoptosis: roles of Bax, Bcl-2, and mitochondrial permeability transition pores. Biophysical Journal 90: 1546-1559.
12. Legewie S, Blüthgen N, Herzel H, (2006) Mathematical modeling identifies inhibitors of apoptosis as mediators of positive feedback and bistability. PLoS Computational Biology 2: e120.
13. Rehm M, Huber HJ, Dussmann H, Prehn JHM, (2006) Systems analysis of effector caspase activation and its control by X-linked inhibitor of apoptosis protein. The EMBO Journal 25: 4338-4349.
14. Chen C, Cui J, Lu H, Wang R, Zhang S, et al. (2007) Modeling of the Role of a Bax-Activation Switch in the Mitochondrial Apoptosis Decision. Biophysical Journal 92: 4304-4315.
15. Albeck JG, Burke JM, Spencer SL, Lauffenburger DA, Sorger PK, (2008) Modeling a snap-action, variable-delay switch controlling extrinsic cell death. PLoS Biology 6: 2831-2852.
16. Spencer SL, Gaudet S, Albeck JG, Burke JM, Sorger PK, (2009) Non-genetic origins of cell-to-cell variability in TRAIL-induced apoptosis. Nature 459: 428-432.
17. Fricker N, Beaudouin J, Richter P, Eils R, Krammer PH, et al. (2010) Model-based dissection of CD95 signaling dynamics reveals both a pro- and antiapoptotic role of c-FLIPL. The Journal of Cell Biology 190: 377-389.
18. Mai Z, Liu H, (2009) Boolean network-based analysis of the apoptosis network: irreversible apoptosis and stable surviving. Journal of Theoretical Biology 259: 760-769.
19. Calzone L, Tournier L, Fourquet S, Thieffry D, Zhivotovsky B, et al. (2010) Mathematical modelling of cell-fate decision in response to death receptor engagement. PLoS Computational Biology 6: e1000702.
20. Saez-Rodriguez J, Alexopoulos LG, Zhang M, Morris MK, Lauffenburger DA, et al. (2011) Comparing signaling networks between normal and transformed hepatocytes using discrete logical models. Cancer Research 71: 5400-5411.
21. Schlatter R, Schmich K, Avalos Vizcarra I, Scheurich P, Sauter T, et al. (2009) ON/OFF and beyond-a boolean model of apoptosis. PLoS Computational Biology 5: e1000595.
22. Aldridge B, Haller G, (2006) Direct Lyapunov exponent analysis enables parametric study of transient signalling governing cell behaviour. Systems Biology, IEE Proceedings 153: 425-432.
23. 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-166.
24. 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-50.
25. Batt G, Yordanov B, Weiss R, Belta C, (2007) Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23: 2415-2422.
26. Batt G, Page M, Cantone I, Goessler G, Monteiro P, et al. (2010) Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics 26: i603-10.
27. Bernot G, Comet J-P, Richard A, Guespin J, (2004) Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. Journal of Theoretical Biology 229: 339-347.
28. 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-287.
29. Fisher J, Piterman N, Hajnal A, Henzinger T a, (2007) Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology 3: e92.
30. Jha SK, Clarke EM, Langmead CJ, Legay A, Platzer A, et al. (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-234.
31. Heath J, Kwiatkowska M, Norman G, Parker D, Tymchyshyn O, (2008) Probabilistic model checking of complex biological pathways. Theoretical Computer Science 391: 239-257.
32. Donzé A, Fanchon E, Gattepaille LM, Maler O, Tracqui P, (2011) Robustness analysis and behavior discrimination in enzymatic reaction networks. PloS One 6: e24246.
33. Donzé 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'10, LNCS 6174. Berlin: Springer-Verlag. pp. 167-170.
34. Barnhart BC, Alappat EC, Peter ME, (2003) The CD95 Type I/Type II model. Seminars in Immunology 15: 185-193.
35. Algeciras-Schimnich A, Pietras EM, Barnhart BC, Legembre P, Vijayan S, et al. (2003) Two CD95 tumor classes with different sensitivities to antitumor drugs. Proceedings of the National Academy of Sciences of the United States of America 100: 11445-11450.
36. Ozören N, El-Deiry WS, (2002) Defining characteristics of Types I and II apoptotic cells in response to TRAIL. Neoplasia 4: 551-557.
37. Rehm M, Dussmann H, Janicke RU, Tavare JM, Kogel D, et al. (2002) Single-cell fluorescence resonance energy transfer analysis demonstrates that caspase activation during apoptosis is a rapid process. Role of caspase-3. The Journal of Biological Chemistry 277: 24506-24514.
38. Albeck JG, Burke JM, Aldridge BB, Zhang M, Lauffenburger DA, et al. (2008) Quantitative analysis of pathways controlling extrinsic apoptosis in single cells. Molecular Cell 30: 11-25.
39. Agard NJ, Mahrus S, Trinidad JC, Lynn A, Burlingame AL, et al. (2012) Global kinetic analysis of proteolysis via quantitative targeted proteomics. Proceedings of the National Academy of Sciences of the United States of America 109: 1913-1918.
40. Maas C, Verbrugge I, De Vries E, Savich G, Van de Kooij LW, et al. (2010) Smac/DIABLO release from mitochondria and XIAP inhibition are essential to limit clonogenicity of Type I tumor cells after TRAIL receptor stimulation. Cell Death and Differentiation 17: 1613-1623.
41. Avriel M, (2003) Nonlinear programming: analysis and methods. Courier Dover Publications.
42. Hansen N, Ostermeier A, (2001) Completely derandomized self-adaptation in evolution strategies. Evolutionary Computation 9: 159-195.
43. Kobera MM, Legewie S, Pforr C, Fricker N, Eils R, et al. (2011) Caspase-8 activity has an essential role in CD95/Fas-mediated MAPK activation. Cell Death and Disease 2: e212.
44. Bhola PD, Simon SM, (2009) Determinism and divergence of apoptosis susceptibility in mammalian cells. Journal of Cell Science 122: 4296-4302.
45. Rehm M, Huber HJ, Hellwig CT, Anguissola S, Dussmann H, et al. (2009) Dynamics of outer mitochondrial membrane permeabilization during apoptosis. Cell Death and Differentiation 16: 613-623.
46. Fainekos GE, Pappas GJ, (2009) Robustness of temporal logic specifications for continuous-time signals. Theoretical Computer Science 410: 4262-4291.
47. Rizk A, Batt G, Fages F, Soliman S, (2011) Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theoretical Computer Science 412: 2827-2839.
48. Donzé A, Maler O (2010) Robust satisfaction of temporal logic over real-valued signals. Formal Modeling and Analysis of Timed Systems: 92-106.
49. Klipp E, Herwig R, Kowald A, Wierling C, Lehrach H (2005) Systems Biology in Practice. Concepts, Implementation and Application. Wiley-VCH.
50. Szallasi Z, Stelling J, Periwal V (2010) System Modeling in Cellular Biology: From Concepts to Nuts and Bolts. Boston: MIT Press.
51. Ghosh S, Matsuoka Y, Asai Y, Hsin K-Y, Kitano H, (2011) Software for systems biology: from tools to integrated platforms. Nature reviews Genetics 12: 821-832.
52. Serban R, Hindmarsh A (2005) CVODES, the sensitivity-enabled ODE solver in SUNDIALS. Proceedings of IDETC/CIE; Sept 2005; Long Beach, California, United States.
53. Peter ME, Krammer PH, (2003) The CD95(APO-1/Fas) DISC and beyond. Cell Death and Differentiation 10: 26-35.
54. Huang Y, Park YC, Rich RL, Segal D, Myszka DG, et al. (2001) Structural basis of caspase inhibition by XIAP: differential roles of the linker versus the BIR domain. Cell 104: 781-790.
55. Chen L, Smith L, Wang Z, Smith JB, (2003) 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. Molecular Pharmacology 64: 334-345.
56. Luo X, Budihardjo I, Zou H, Slaughter C, Wang X, (1998) Bid, a Bcl2 interacting protein, mediates cytochrome c release from mitochondria in response to activation of cell surface death receptors. Cell 94: 481-490.
57. Kim H, Rafiuddin-Shah M, Tu H-C, Jeffers JR, Zambetti GP, et al. (2006) Hierarchical regulation of mitochondrion-dependent apoptosis by BCL-2 subfamilies. Nature Cell Biology 8: 1348-1358.
58. Du C, Fang M, Li Y, Li L, Wang X, (2000) Smac, a mitochondrial protein that promotes cytochrome c-dependent caspase activation by eliminating IAP inhibition. Cell 102: 33-42.