{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:17:44Z","timestamp":1742980664449,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319219110"},{"type":"electronic","value":"9783319219127"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21912-7_4","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T15:37:26Z","timestamp":1437061046000},"page":"82-110","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Customizable Execution Engine for Models of Embedded Systems"],"prefix":"10.1007","author":[{"given":"Karolina","family":"Zurowska","sequence":"first","affiliation":[]},{"given":"J\u00fcrgen","family":"Dingel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"4_CR1","unstructured":"IBM Rational Software Architect, RealTime Edition, Version 8.0.2. http:\/\/publib.boulder.ibm.com\/infocenter\/rsarthlp\/v7r5m1\/"},{"key":"4_CR2","unstructured":"Unified Modeling Language (UML 2.0) Superstructure. http:\/\/www.uml.org\/"},{"key":"4_CR3","unstructured":"Xsemantics. http:\/\/xsemantics.sourceforge.net\/"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/978-3-642-36742-7_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D Balasubramanian","year":"2013","unstructured":"Balasubramanian, D., P\u0103s\u0103reanu, C.S., Karsai, G., Lowry, M.R.: Polyglot: systematic analysis for multiple statechart formalisms. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013 (ETAPS 2013). LNCS, vol. 7795, pp. 523\u2013529. Springer, Heidelberg (2013)"},{"issue":"5","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"EM Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst. 16(5), 1512\u20131542 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-44577-3_10","volume-title":"Informatics","author":"P Cousot","year":"2001","unstructured":"Cousot, P.: Abstract interpretation based formal methods and future challenges. In: Wilhelm, R. (ed.) Informatics: 10 Years Back, 10 Years Ahead. LNCS, vol. 2000, pp. 138\u2013156. Springer, Heidelberg (2001)"},{"key":"4_CR7","unstructured":"Dwyer, M.B., Hatcliff, J., Joehanes, R., Laubach, S., P\u0103s\u0103reanu, C.S.: Tool-supported program abstraction for finite-state verification. In: ICSE (2001)"},{"key":"4_CR8","unstructured":"Loustinova, N., Sidorova, N.: Abstraction and flow analysis for model checking open asynchronous systems. In: Software Engineering Conference (2002)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A Knapp","year":"2002","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model checking timed uml state machines and collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 395\u2013414. Springer, Heidelberg (2002)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Leue, S., Stefanescu, A., Wei, W.: An AsmL semantics for dynamic structures and run time schedulability in UML-RT. Technical report, University of Konstanz (2008)","DOI":"10.1007\/978-3-540-69824-1_14"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/10692867_13","volume-title":"Requirements Targeting Software and Systems Engineering","author":"Z Manna","year":"1998","unstructured":"Manna, Z., Col\u00f3n, M.A., Finkbeiner, B., Sipma, H.B., Uribe, T.E.: Abstraction and modular verification of infinite-state reactive systems. In: Broy, M. (ed.) RTSE 1997. LNCS, vol. 1526, pp. 273\u2013292. Springer, Heidelberg (1998)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Mehlitz, P.C.: Trust your model - verifying aerospace system models with Java pathfinder. In: IEEE Aerospace Conference (2008)","DOI":"10.1109\/AERO.2008.4526573"},{"issue":"10","key":"4_CR13","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1109\/TSE.2003.1237169","volume":"29","author":"J Niu","year":"2003","unstructured":"Niu, J., Atlee, J.M., Day, N.A.: Template semantics for model-based notations. IEEE Trans. Softw. Eng. 29(10), 866\u2013882 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu, C.S., Rungta, N.: Symbolic PathFinder: symbolic execution of Java bytecode. In: ASE (2010)","DOI":"10.1145\/1858996.1859035"},{"key":"4_CR15","unstructured":"Saaltink, M., Meisels, I.: Using SPIN to analyse RoseRT models. Technical report, ORA Canada (1999)"},{"issue":"3","key":"4_CR16","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1016\/S1571-0661(04)00262-2","volume":"55","author":"T Sch\u00e4fer","year":"2001","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model checking UML state machines and collaborations. Electron. Notes Theoret. Comput. Sci. 55(3), 357\u2013369 (2001)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"1\u20132","key":"4_CR17","first-page":"313","volume":"5","author":"B Selic","year":"2011","unstructured":"Selic, B.: A short catalogue of abstraction patterns for model-based software engineering. Int. J. Softw. Inform. 5(1\u20132), 313\u2013334 (2011)","journal-title":"Int. J. Softw. Inform."},{"issue":"4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/s10270-012-0261-0","volume":"11","author":"B Selic","year":"2012","unstructured":"Selic, B.: What will it take? A view on adoption of model-based methods in practice. Softw. Syst. Model. 11(4), 513\u2013526 (2012)","journal-title":"Softw. Syst. Model."},{"key":"4_CR19","unstructured":"Zurowska, K.: Language specific analysis of statemachine models of reactive systems. Ph.D. thesis, Queen\u2019s University, June 2014"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-28891-3_6","volume-title":"NASA Formal Methods","author":"K Zurowska","year":"2012","unstructured":"Zurowska, K., Dingel, J.: Symbolic execution of communicating and hierarchically composed UML-RT state machines. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 39\u201353. Springer, Heidelberg (2012)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-41533-3_19","volume-title":"Model-Driven Engineering Languages and Systems","author":"K Zurowska","year":"2013","unstructured":"Zurowska, K., Dingel, J.: Model checking of UML-RT models using lazy composition. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 304\u2013319. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Behavior Modeling -- Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21912-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T13:16:18Z","timestamp":1676466978000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21912-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319219110","9783319219127"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21912-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}