{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:05:21Z","timestamp":1743001521364,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253754"},{"type":"electronic","value":"9783540259749"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/978-3-540-25974-9_20","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:23:04Z","timestamp":1267107784000},"page":"236-241","source":"Crossref","is-referenced-by-count":12,"title":["Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems"],"prefix":"10.1007","author":[{"given":"Jasmin","family":"Fisher","sequence":"first","affiliation":[]},{"given":"David","family":"Harel","sequence":"additional","affiliation":[]},{"given":"E. Jane Albert","family":"Hubbard","sequence":"additional","affiliation":[]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[]},{"given":"Michael J.","family":"Stern","sequence":"additional","affiliation":[]},{"given":"Naamah","family":"Swerdlin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Barak, D., Harel, D., Marelly, R.: Interplay: Horizontal scale-up and transition to design in scenario-based programming (to appear, 2004)","DOI":"10.1007\/978-3-540-27755-2_2"},{"key":"20_CR2","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"20_CR3","unstructured":"Dam, W., Harel, D.: LSCs: Breathing life into message sequence charts. In: FMSD (2001)"},{"key":"20_CR4","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Modeling and simulation of the thymus. Multidisciplinary Approaches to Theory in Medicine (2002)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. Genome Res. (2003)","DOI":"10.1101\/gr.1215303"},{"key":"20_CR6","first-page":"231","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. SCP\u00a08, 231\u2013274 (1987)","journal-title":"SCP"},{"key":"20_CR7","first-page":"226","volume":"81","author":"D. Harel","year":"2002","unstructured":"Harel, D.: A grand challenge for computing: Towards full reactive modeling of a multi-cellular animal. Bulletin of the EATCS\u00a081, 226\u2013235 (2002)","journal-title":"Bulletin of the EATCS"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Harel, D., Gery, E.: Executable object modeling with statecharts. Computer\u00a030(7) (1997)","DOI":"10.1109\/2.596624"},{"key":"20_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"20_CR10","unstructured":"I-logix,inc., \n                    \n                      http:\/\/www.ilogix.com"},{"key":"20_CR11","unstructured":"Kam, N., Harel, D., Cohen, I.R.: The immune system as a reactive system: Modeling T-cell activation with statecharts. Bull. Math. Bio. (2003)"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/3-540-36481-1_2","volume-title":"Computational Methods in Systems Biology","author":"N. Kam","year":"2003","unstructured":"Kam, N., Harel, D., Kugler, H.-J., Marelly, R., Pnueli, A., Hubbard, E.J.A., Stern, M.J.: Formal modeling of C. elegans development: A scenario-based approach. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 4\u201320. Springer, Heidelberg (2003)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Lettrari, M., Klose, J.: Scenario-based monitoring and testing of real-time UML models. In: 4th Int. Conf. on the Unified Modeling Language (October 2001)","DOI":"10.1007\/3-540-45441-1_24"},{"issue":"4","key":"20_CR14","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1016\/0092-8674(89)90103-7","volume":"58","author":"P.W. Sternberg","year":"1989","unstructured":"Sternberg, P.W., Horvitz, H.R.: The combined action of two intercellular signaling pathways specifies three cell fates during vulval induction in c. elegans. Cell\u00a058(4), 679\u2013693 (1989)","journal-title":"Cell"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25974-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:44:28Z","timestamp":1558273468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25974-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253754","9783540259749"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25974-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}