{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T23:40:01Z","timestamp":1749598801833,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_10","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T21:56:23Z","timestamp":1475618183000},"page":"131-133","source":"Crossref","is-referenced-by-count":2,"title":["Unifying Modelling and Programming: A Systems Biology Perspective"],"prefix":"10.1007","author":[{"given":"Hillel","family":"Kugler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","DOI":"10.1201\/9781420011432","volume-title":"An Introduction to Systems Biology: Design Principles of Biological Circuits","author":"U Alon","year":"2006","unstructured":"Alon, U.: An Introduction to Systems Biology: Design Principles of Biological Circuits. CRC Press, London (2006)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Antoniotti, M., Park, F., Policriti, A., Ugel, N., Mishra, B.: Foundations of a query and simulation system for the modeling of biochemical and biological processes. In: Pacific Symposium on Biocomputing (PSB), pp. 116\u2013127 (2003)","DOI":"10.1142\/9789812776303_0012"},{"issue":"22","key":"10_CR3","doi-asserted-by":"crossref","first-page":"3902","DOI":"10.1242\/dev.126359","volume":"142","author":"K Atwell","year":"2015","unstructured":"Atwell, K., Qin, Z., Gavaghan, D., Kugler, H., Hubbard, E., Osborne, J.: Mechano-logical model of C. elegans germ line suggests feedback on the cell cycle. Development 142(22), 3902\u20133911 (2015)","journal-title":"Development"},{"issue":"1537","key":"10_CR4","doi-asserted-by":"crossref","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. B: Biol. Sci. 365(1537), 207\u2013212 (2010)","journal-title":"Philos. Trans. R. Soc. B: Biol. Sci."},{"issue":"1","key":"10_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biomolecular interaction networks. Theor. Comput. Sci. 325(1), 25\u201344 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"10_CR6","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Briefings Bioinform. 8(4), 210\u2013219 (2007)","journal-title":"Briefings Bioinform."},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-18275-4_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"B Cook","year":"2011","unstructured":"Cook, B., Fisher, J., Krepska, E., Piterman, N.: Proving stabilization of biological systems. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 134\u2013149. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-18275-4_11"},{"issue":"18","key":"10_CR8","doi-asserted-by":"crossref","first-page":"2320","DOI":"10.1093\/bioinformatics\/btt393","volume":"29","author":"C Guziolowski","year":"2013","unstructured":"Guziolowski, C., Videla, S., Eduati, F., Thiele, S., Cokelaer, T., Siegel, A., Saez-Rodriguez, J.: Exhaustively characterizing feasible logic models of a signaling network using answer set programming. Bioinformatics 29(18), 2320\u20132326 (2013)","journal-title":"Bioinformatics"},{"issue":"4","key":"10_CR9","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"issue":"1","key":"10_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ydbio.2008.07.030","volume":"323","author":"N Kam","year":"2008","unstructured":"Kam, N., Kugler, H., Marelly, R., Appleby, L., Fisher, J., Pnueli, A., Harel, D., Stern, M., Hubbard, E.: A scenario-based approach to modeling development: a prototype model of C. elegans vulval fate specification. Dev. Biol. 323(1), 1\u20135 (2008)","journal-title":"Dev. Biol."},{"issue":"6912","key":"10_CR11","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1038\/nature01254","volume":"420","author":"H Kitano","year":"2002","unstructured":"Kitano, H.: Computational systems biology. Nature 420(6912), 206\u2013210 (2002)","journal-title":"Nature"},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1145\/2429069.2429125","volume":"48","author":"A Koksal","year":"2013","unstructured":"Koksal, A., Pu, Y., Srivastava, S., Bodik, R., Fisher, J., Piterman, N.: Synthesis of biological models from mutation experimentss. SIGPLAN-SIGACT Symp. Principles Program. Lang. 48, 469\u2013482 (2013). ACM","journal-title":"SIGPLAN-SIGACT Symp. Principles Program. Lang."},{"issue":"48","key":"10_CR13","doi-asserted-by":"crossref","first-page":"1015","DOI":"10.1098\/rsif.2009.0457","volume":"7","author":"H Kugler","year":"2010","unstructured":"Kugler, H., Larjo, A., Harel, D.: Biocharts: a visual formalism for complex biological systems. J. R. Soc. interface 7(48), 1015\u20131024 (2010)","journal-title":"J. R. Soc. interface"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-00593-0_6","volume-title":"Fundamental Approaches to Software Engineering","author":"H Kugler","year":"2009","unstructured":"Kugler, H., Plock, C., Pnueli, A.: Controller synthesis from LSC requirements. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 79\u201393. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00593-0_6"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-642-22110-1_46","volume-title":"Computer Aided Verification","author":"H Kugler","year":"2011","unstructured":"Kugler, H., Plock, C., Roberts, A.: Synthesizing biological theories. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 579\u2013584. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22110-1_46"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-540-71209-1_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Kugler","year":"2007","unstructured":"Kugler, H., Pnueli, A., Stern, M.J., Hubbard, E.J.A.: \u201cDon\u2019t Care\u201d modeling: a logical framework for developing predictive system models. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 343\u2013357. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71209-1_27"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-00768-2_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Kugler","year":"2009","unstructured":"Kugler, H., Segall, I.: Compositional synthesis of reactive systems from live sequence chart specifications. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 77\u201391. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00768-2_9"},{"key":"10_CR18","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.tcs.2011.12.057","volume":"431","author":"M Lakin","year":"2012","unstructured":"Lakin, M., Paulev\u00e9, L., Phillips, A.: Stochastic simulation of multiple process calculi for biology. Theor. Comput. Sci. 431, 181\u2013206 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR19","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1038\/nbt.1558","volume":"27","author":"NL Nov\u00e8re","year":"2009","unstructured":"Nov\u00e8re, N.L., et al.: The systems biology graphical notation. Nat. Biotechnol. 27, 735\u2013741 (2009)","journal-title":"Nat. Biotechnol."},{"issue":"7203","key":"10_CR20","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1038\/454424a","volume":"454","author":"P Nurse","year":"2008","unstructured":"Nurse, P.: Life, logic and information. Nature 454(7203), 424\u2013426 (2008)","journal-title":"Nature"},{"key":"10_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139854610","volume-title":"Systems Biology: Constraint-Based Reconstruction and Analysis","author":"B Palsson","year":"2015","unstructured":"Palsson, B.: Systems Biology: Constraint-Based Reconstruction and Analysis. Cambridge University Press, Cambridge (2015)"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11905455_7","volume-title":"Transactions on Computational Systems Biology VII","author":"A Phillips","year":"2006","unstructured":"Phillips, A., Cardelli, L., Castagna, G.: A graphical representation for biological processes in the stochastic pi-calculus. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS, vol. 4230, pp. 123\u2013152. Springer, Heidelberg (2006). doi: 10.1007\/11905455_7"},{"issue":"3","key":"10_CR23","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1089\/cmb.2012.0241","volume":"20","author":"R Sharan","year":"2013","unstructured":"Sharan, R., Karp, R.: Reconstructing boolean models of signaling. J. Comput. Biol. 20(3), 249\u2013257 (2013)","journal-title":"J. Comput. Biol."},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Yordanov, B., Dunn, S.J., Kugler, H., Smith, A., Martello, G., Emmott, S.: A method to identify and analyze biological programs through automated reasoning. NPJ Syst. Biol. Appl. 2(16010) (2016)","DOI":"10.1038\/npjsba.2016.10"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-38088-4_6","volume-title":"NASA Formal Methods","author":"B Yordanov","year":"2013","unstructured":"Yordanov, B., Wintersteiger, C.M., Hamadi, Y., Kugler, H.: SMT-based analysis of biological computation. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 78\u201392. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38088-4_6"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-319-01928-4_14","volume-title":"DNA Computing and Molecular Programming","author":"B Yordanov","year":"2013","unstructured":"Yordanov, B., Wintersteiger, C.M., Hamadi, Y., Phillips, A., Kugler, H.: Functional analysis of large-scale DNA strand displacement circuits. In: Soloveichik, D., Yurke, B. (eds.) DNA 2013. LNCS, vol. 8141, pp. 189\u2013203. Springer, Heidelberg (2013). doi: 10.1007\/978-3-319-01928-4_14"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T23:08:33Z","timestamp":1749596913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}