{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:20:35Z","timestamp":1762521635650},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407079"},{"type":"electronic","value":"9783642407086"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40708-6_13","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T05:37:00Z","timestamp":1379482620000},"page":"164-177","source":"Crossref","is-referenced-by-count":23,"title":["A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits"],"prefix":"10.1007","author":[{"given":"Ezio","family":"Bartocci","sequence":"first","affiliation":[]},{"given":"Luca","family":"Bortolussi","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Nenzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM (1996)","DOI":"10.1145\/227595.227602"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Bortolussi, L., Nenzi, L.: Supplementary material for \u201cA temporal logic approach to modular design of synthetic biological circuits\u201d. CoRR (2013), \n                    \n                      http:\/\/arxiv.org\/abs\/1306.4493v1","DOI":"10.1007\/978-3-642-40708-6_13"},{"issue":"18","key":"13_CR3","doi-asserted-by":"publisher","first-page":"2415","DOI":"10.1093\/bioinformatics\/btm362","volume":"23","author":"G. Batt","year":"2007","unstructured":"Batt, G., Yordanov, B., Weiss, R., Belta, C.: Robustness analysis and tuning of synthetic gene networks. Bioinformatics\u00a023(18), 2415\u20132422 (2007)","journal-title":"Bioinformatics"},{"issue":"8","key":"13_CR4","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1021\/sb300030d","volume":"1","author":"J. Beal","year":"2012","unstructured":"Beal, J., Weiss, R., Densmore, D., Adler, A., Appleton, E., Babb, J., Bhatia, S., Davidsohn, N., Haddock, T., Loyall, J., Schantz, R., Vasilev, V., Yaman, F.: An End-to-End Workflow for Engineering of Biological Networks from High-Level Specifications. ACS Synth. Biol.\u00a01(8), 317\u2013331 (2012)","journal-title":"ACS Synth. Biol."},{"issue":"11","key":"13_CR5","doi-asserted-by":"publisher","first-page":"1749","DOI":"10.1109\/TAC.2006.884957","volume":"51","author":"C. Belta","year":"2006","unstructured":"Belta, C., Habets, L.C.G.J.M.: Controlling a class of nonlinear systems on rectangles. IEEE Trans. of Automatic Control\u00a051(11), 1749\u20131759 (2006)","journal-title":"IEEE Trans. of Automatic Control"},{"key":"13_CR6","first-page":"304236","volume":"2011","author":"B.S. Chen","year":"2011","unstructured":"Chen, B.S., Hsu, C.Y., Liou, J.J.: Robust design of biological circuits: evolutionary systems biology approach. J. Biomed. Biotechnol.\u00a02011, 304236 (2011)","journal-title":"J. Biomed. Biotechnol."},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1186\/1752-0509-2-24","volume":"2","author":"M.S. Dasika","year":"2008","unstructured":"Dasika, M.S., Maranas, C.D.: OptCircuit: an optimization based method for computational design of genetic circuits. BMC Syst. Biol.\u00a02, 24 (2008)","journal-title":"BMC Syst. Biol."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Densmore, D., Anderson, J.C.: Combinational logic design in synthetic biology. In: IEEE International Symposium on Circuits and Systems, ISCAS 2009., pp. 301\u2013304 (2009)","DOI":"10.1109\/ISCAS.2009.5117745"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A.: Breach, A toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 167\u2013170. Springer, Heidelberg (2010)"},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1089\/cmb.2009.0172","volume":"17","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Clermont, G., Langmead, C.J.: Parameter synthesis in nonlinear dynamical systems: Application to systems biology. Journal of Computational Biology\u00a017(3), 325\u2013336 (2010)","journal-title":"Journal of Computational Biology"},{"issue":"9","key":"13_CR11","doi-asserted-by":"publisher","first-page":"24246","DOI":"10.1371\/journal.pone.0024246","volume":"6","author":"A. Donz\u00e9","year":"2011","unstructured":"Donz\u00e9, A., Fanchon, E., Gattepaille, L.M., Maler, O., Tracqui, P.: Robustness analysis and behavior discrimination in enzymatic reaction networks. PLoS One\u00a06(9), e24246 (2011)","journal-title":"PLoS One"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-39799-8_19","volume-title":"Computer Aided Verification","author":"A. Donz\u00e9","year":"2013","unstructured":"Donz\u00e9, A., Ferr\u00e8re, T., Maler, O.: Efficient robust monitoring for STL. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol.\u00a08044, pp. 264\u2013279. Springer, Heidelberg (2013)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol.\u00a06246, pp. 92\u2013106. Springer, Heidelberg (2010)"},{"issue":"2","key":"13_CR14","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1073\/pnas.0304532101","volume":"101","author":"P. Francois","year":"2004","unstructured":"Francois, P., Hakim, V.: Design of genetic networks with specified functions by evolution in silico. PNAS\u00a0101(2), 580\u2013585 (2004)","journal-title":"PNAS"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Fu, P., Panke, S.: Systems Biology and Synthetic Biology. John Wiley & Sons (2009)","DOI":"10.1002\/9780470437988"},{"issue":"2","key":"13_CR16","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/s10703-009-0085-x","volume":"36","author":"K.D. Jones","year":"2010","unstructured":"Jones, K.D., Konrad, V., Nickovic, D.: Analog property checkers: A ddr2 case study. Formal Methods in System Design\u00a036(2), 114\u2013130 (2010)","journal-title":"Formal Methods in System Design"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong De","year":"2002","unstructured":"De Jong, H.: Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology\u00a09, 67\u2013103 (2002)","journal-title":"Journal of Computational Biology"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Karnaugh, M.: The map method for synthesis of combinational logic circuits. Trans. American Institute of Electrical Engineers 72(2) (1953)","DOI":"10.1109\/TCE.1953.6371932"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Knight, T.: Idempotent vector design for standard assembly of biobricks. Technical Report MIT Synthetic Biology Working Group. MIT (2003)","DOI":"10.21236\/ADA457791"},{"key":"13_CR20","unstructured":"Madec, M., Lallement, C., Gendrault, Y., Haiech, J.: Design methodology for synthetic biosystems. In: Proc. of MIXDES, pp. 621\u2013626 (2010)"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O. Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT 2004. LNCS, vol.\u00a03253, pp. 152\u2013166. Springer, Heidelberg (2004)"},{"issue":"2","key":"13_CR22","doi-asserted-by":"publisher","first-page":"1001083","DOI":"10.1371\/journal.pcbi.1001083","volume":"7","author":"M.A. Marchisio","year":"2011","unstructured":"Marchisio, M.A., Stelling, J.: Automatic design of digital synthetic gene circuits. PLoS Comput. Biol.\u00a07(2), e1001083 (2011)","journal-title":"PLoS Comput. Biol."},{"key":"13_CR23","unstructured":"Myers, C.J.: Engineering Genetic Circuits. Chapman & Hall\/CRC (2009)"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: IEEE Annual Symposium on Foundations of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Rodrigo, G., Jaramillo, A.: AutoBioCAD: Full Biodesign Automation of Genetic Circuits. ACS Synth. Biol. (November 2012)","DOI":"10.1021\/sb300084h"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Salah, R.B., Bozga, M., Maler, O.: On timing analysis of combinational circuits. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 204\u2013219. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-40903-8_17"},{"issue":"1","key":"13_CR27","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1137\/1030003","volume":"30","author":"H.L. Smith","year":"1988","unstructured":"Smith, H.L.: Systems of odes which generate an order preserving flow. A survey of results. SIAM Review\u00a030(1), 87\u2013113 (1988)","journal-title":"SIAM Review"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Szallasi, Z., Stelling, J., Periwal, V.: System Modelling in Cellular Biology: from concepts to nuts and bolts. The Mit Press (2006)","DOI":"10.7551\/mitpress\/9780262195485.001.0001"},{"issue":"1-2","key":"13_CR29","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1049\/iet-stb:20070013","volume":"1","author":"M. Terzer","year":"2007","unstructured":"Terzer, M., Jovanovic, M., Choutko, A., Nikolayeva, O., Korn, A., Brockhoff, D., Zurcher, F., Friedmann, M., Schutz, R., Zitzler, E., Stelling, J., Panke, S.: Design of a biological half adder. IET Synthetic Biology\u00a01(1-2), 53\u201358 (2007)","journal-title":"IET Synthetic Biology"},{"key":"13_CR30","unstructured":"Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry. Elsevier (1992)"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"von Dassow, G., Meir, E., Munro, E.M., Odell, G.M.: The segment polarity network is a robust developmental module. Nature (2000)","DOI":"10.1038\/35018085"},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"Voy, B.H., Scharff, J.A., Perkins, A.D., Saxton, A.M., Borate, B., Chesler, E.J., Branstetter, L.K., Langston, M.A.: Extracting gene networks for low-dose radiation using graph theoretical algorithms. PLoS Comput. Biol. (2006)","DOI":"10.1371\/journal.pcbi.0020089"},{"issue":"8","key":"13_CR33","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1021\/sb300032y","volume":"1","author":"F. Yaman","year":"2012","unstructured":"Yaman, F., Bhatia, S., Adler, A., Densmore, D., Beal, J.: Automated selection of synthetic biology parts for genetic regulatory networks. ACS Synth. Biol.\u00a01(8), 332\u2013344 (2012)","journal-title":"ACS Synth. Biol."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40708-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T06:41:48Z","timestamp":1558075308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40708-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407079","9783642407086"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40708-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}