{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T13:15:08Z","timestamp":1770297308019,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642214363","type":"print"},{"value":"9783642214370","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21437-0_3","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T03:33:16Z","timestamp":1308367996000},"page":"3-11","source":"Crossref","is-referenced-by-count":4,"title":["The Only Way Is Up"],"prefix":"10.1007","author":[{"given":"Jasmin","family":"Fisher","sequence":"first","affiliation":[]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1002\/cplx.20146","volume":"12","author":"R. Abott","year":"2006","unstructured":"Abott, R.: Emergence explained-abstractions. Complexity\u00a012(1), 13\u201326 (2006)","journal-title":"Complexity"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(03)00035-3","volume":"223","author":"R. Albert","year":"2003","unstructured":"Albert, R., Othmer, H.G.: The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in drosophila melanogaster. J. Theor. Biol.\u00a0223(1), 1\u201318 (2003)","journal-title":"J. Theor. Biol."},{"issue":"5966","key":"3_CR3","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1126\/science.1182105","volume":"327","author":"F. Bai","year":"2010","unstructured":"Bai, F., Branch, R.W., Nicolau Jr., D.V., Pilizota, T., Steel, B.C., Maini, P.K., Berry, R.M.: Conformational spread as a mechanism for cooperativity in the bacterial flagellar switch. Science\u00a0327(5966), 685\u2013689 (2010)","journal-title":"Science"},{"issue":"5747","key":"3_CR4","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1126\/science.1119959","volume":"310","author":"S. Bornholdt","year":"2005","unstructured":"Bornholdt, S.: Systems biology. less is more in modeling large genetic networks. Science\u00a0310(5747), 449\u2013451 (2005)","journal-title":"Science"},{"issue":"5747","key":"3_CR5","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1126\/science.1113834","volume":"310","author":"O. Brandman Jr.","year":"2005","unstructured":"Brandman Jr., O., Ferrell, J.E., Li, R., Meyer, T.: Interlinked fast and slow positive feedback loops drive reliable cell decisions. Science\u00a0310(5747), 496\u2013498 (2005)","journal-title":"Science"},{"issue":"1537","key":"3_CR6","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1098\/rstb.2009.0221","volume":"365","author":"S. Brenner","year":"2010","unstructured":"Brenner, S.: Sequences and consequences. Philos. Trans. R Soc. Lond. B Biol. Sci.\u00a0365(1537), 207\u2013212 (2010)","journal-title":"Philos. Trans. R Soc. Lond. B Biol. Sci."},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1016\/j.jtbi.2005.01.023","volume":"235","author":"M. Chaves","year":"2005","unstructured":"Chaves, M., Albert, R., Sontag, E.D.: Robustness and fragility of boolean models for genetic regulatory networks. J. Theor. Biol.\u00a0235(3), 431\u2013449 (2005)","journal-title":"J. Theor. Biol."},{"issue":"5560","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1664","DOI":"10.1126\/science.1069981","volume":"295","author":"M.E. Csete","year":"2002","unstructured":"Csete, M.E., Doyle, J.C.: Reverse engineering of biological complexity. Science\u00a0295(5560), 1664\u20131669 (2002)","journal-title":"Science"},{"issue":"7067","key":"3_CR9","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1038\/nature04342","volume":"438","author":"D. Endy","year":"2005","unstructured":"Endy, D.: Foundations for engineering biology. Nature\u00a0438(7067), 449\u2013453 (2005)","journal-title":"Nature"},{"issue":"11","key":"3_CR10","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nat. Biotechnol.\u00a025(11), 1239\u20131249 (2007)","journal-title":"Nat. Biotechnol."},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1016\/S0955-0674(03)00014-0","volume":"15","author":"B.D. Grant","year":"2003","unstructured":"Grant, B.D., Wilkinson, H.A.: Functional genomic maps in caenorhabditis elegans. Curr. Opin. Cell Biol.\u00a015(2), 206\u2013212 (2003)","journal-title":"Curr. Opin. Cell Biol."},{"issue":"5978","key":"3_CR12","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1126\/science.1188974","volume":"328","author":"J. Gunawardena","year":"2010","unstructured":"Gunawardena, J.: Systems biology. biological systems theory. Science\u00a0328(5978), 581\u2013582 (2010)","journal-title":"Science"},{"issue":"17","key":"3_CR13","doi-asserted-by":"publisher","first-page":"714","DOI":"10.1016\/j.cub.2005.08.019","volume":"15","author":"P.E. Hardin","year":"2005","unstructured":"Hardin, P.E.: The circadian timekeeping system of drosophila. Curr. Biol.\u00a015(17), R714\u2013R722 (2005)","journal-title":"Curr. Biol."},{"issue":"6","key":"3_CR14","first-page":"334","volume":"28","author":"D. Harel","year":"2005","unstructured":"Harel, D.: On comprehensive and realistic modeling: some ruminations on the what, the how and the why. Clin. Invest. Med.\u00a028(6), 334\u2013337 (2005)","journal-title":"Clin. Invest. Med."},{"issue":"7094","key":"3_CR15","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1038\/nature04861","volume":"441","author":"K. Horikawa","year":"2006","unstructured":"Horikawa, K., Ishimatsu, K., Yoshimoto, E., Kondo, S., Takeda, H.: Noise-resistant and synchronized oscillation of the segmentation clock. Nature\u00a0441(7094), 719\u2013723 (2006)","journal-title":"Nature"},{"issue":"39","key":"3_CR16","doi-asserted-by":"publisher","first-page":"13773","DOI":"10.1073\/pnas.0503610102","volume":"102","author":"N. Kashtan","year":"2005","unstructured":"Kashtan, N., Alon, U.: Spontaneous evolution of modularity and network motifs. Proc. Natl. Acad. Sci. U S A\u00a0102(39), 13773\u201313778 (2005)","journal-title":"Proc. Natl. Acad. Sci. U S A"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S.A. Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol.\u00a022(3), 437\u2013467 (1969)","journal-title":"J. Theor. Biol."},{"issue":"11","key":"3_CR18","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1038\/nrg1471","volume":"5","author":"H. Kitano","year":"2004","unstructured":"Kitano, H.: Biological robustness. Nat. Rev. Genet.\u00a05(11), 826\u2013837 (2004)","journal-title":"Nat. Rev. Genet."},{"issue":"51","key":"3_CR19","doi-asserted-by":"publisher","first-page":"18414","DOI":"10.1073\/pnas.0509132102","volume":"102","author":"K. Klemm","year":"2005","unstructured":"Klemm, K., Bornholdt, S.: Topology of biological networks and reliability of information processing. Proc. Natl. Acad. Sci. U S A\u00a0102(51), 18414\u201318419 (2005)","journal-title":"Proc. Natl. Acad. Sci. U S A"},{"issue":"9","key":"3_CR20","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1038\/nmeth.1366","volume":"6","author":"F. Long","year":"2009","unstructured":"Long, F., Peng, H., Liu, X., Kim, S.K., Myers, E.: A 3d digital atlas of c. elegans and its application to single-cell analyses. Nat. Methods\u00a06(9), 667\u2013672 (2009)","journal-title":"Nat. Methods"},{"issue":"7203","key":"3_CR21","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1038\/454424a","volume":"454","author":"P. Nurse","year":"2008","unstructured":"Nurse, P.: Life, logic and information. Nature\u00a0454(7203), 424\u2013426 (2008)","journal-title":"Nature"},{"issue":"5594","key":"3_CR22","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1126\/science.1078563","volume":"298","author":"Z.N. Oltvai","year":"2002","unstructured":"Oltvai, Z.N., Barabasi, A.L.: Systems biology. life\u2019s complexity pyramid. Science\u00a0298(5594), 763\u2013764 (2002)","journal-title":"Science"},{"issue":"2","key":"3_CR23","first-page":"157","volume":"4","author":"M. Perus","year":"2001","unstructured":"Perus, M.: Multi-level synergetic computation in brain. Nonlinear Phenomena in Complex Systems\u00a04(2), 157\u2013193 (2001)","journal-title":"Nonlinear Phenomena in Complex Systems"},{"issue":"5","key":"3_CR24","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/1506409.1506427","volume":"52","author":"C. Priami","year":"2009","unstructured":"Priami, C.: Algorithmic systems biology. Communications of the ACM\u00a052(5), 80\u201388 (2009)","journal-title":"Communications of the ACM"},{"issue":"2","key":"3_CR25","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1371\/journal.pbio.0020049","volume":"2","author":"C.V. Rao","year":"2004","unstructured":"Rao, C.V., Kirby, J.R., Arkin, A.P.: Design and diversity in bacterial chemotaxis: a comparative study in escherichia coli and bacillus subtilis. PLoS Biol.\u00a02(2), E49 (2004)","journal-title":"PLoS Biol."},{"key":"3_CR26","volume-title":"Rucker and Copyright Paperback Collection\u00a0(Library of\u00a0Congress). Wetware","author":"V.B. Rudy","year":"1988","unstructured":"Rudy, V.B.: Rucker and Copyright Paperback Collection\u00a0(Library of\u00a0Congress). Wetware. Avon Books, New York (1988)"},{"issue":"4","key":"3_CR27","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1016\/S0959-437X(97)80084-6","volume":"7","author":"P.W. Sternberg","year":"1997","unstructured":"Sternberg, P.W., Felix, M.A.: Evolution of cell lineage. Curr. Opin. Genet. Dev.\u00a07(4), 543\u2013550 (1997)","journal-title":"Curr. Opin. Genet. Dev."},{"issue":"2-3","key":"3_CR28","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1025568106095","volume":"23","author":"J.E. Sulston","year":"2003","unstructured":"Sulston, J.E.: C. elegans: the cell lineage and beyond. Biosci. Rep.\u00a023(2-3), 49\u201366 (2003)","journal-title":"Biosci. Rep."},{"key":"3_CR29","volume-title":"Digital Design: Principles and Practices","author":"J.F. Wakerly","year":"2008","unstructured":"Wakerly, J.F.: Digital Design: Principles and Practices, 4th edn. Pearson Education, London (2008)","edition":"4"},{"key":"3_CR30","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0070-2153(01)51006-6","volume":"51","author":"M. Wang","year":"2001","unstructured":"Wang, M., Sternberg, P.W.: Pattern formation during c. elegans vulval induction. Curr. Top Dev. Biol.\u00a051, 189\u2013220 (2001)","journal-title":"Curr. Top Dev. Biol."}],"container-title":["Lecture Notes in Computer Science","FM 2011: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21437-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T22:07:41Z","timestamp":1553810861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21437-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214363","9783642214370"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21437-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}