{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:38:47Z","timestamp":1743154727572,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642367410"},{"type":"electronic","value":"9783642367427"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36742-7_36","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:41:56Z","timestamp":1361216516000},"page":"523-529","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Polyglot: Systematic Analysis for Multiple Statechart Formalisms"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Balasubramanian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corina S.","family":"P\u0103s\u0103reanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e1bor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael R.","family":"Lowry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3) (June 1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"36_CR2","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Comp. Sci. Dept. Aarhus University, Denmark (1981)"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE (1999)","DOI":"10.1145\/302405.302672"},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Balasubramanian, D., Pap, G., Nine, H., Karsai, G., Lowry, M.R., Pasareanu, C.S., Pressburger, T.: Rapid property specification and checking for model-based formalisms. In: International Symposium on Rapid System Prototyping (2011)","DOI":"10.1109\/RSP.2011.5929985"},{"key":"36_CR5","unstructured":"Java pathfinder, \n                    \n                      http:\/\/babelfish.arc.nasa.gov\/trac\/jpf"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu, C.S., Rungta, N.: Symbolic PathFinder: Symbolic execution of Java bytecode. In: Proceedings of ASE, pp. 179\u2013180 (2010)","DOI":"10.1145\/1858996.1859035"},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-00593-0_7","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Giannakopoulou","year":"2009","unstructured":"Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Interface Generation and Compositional Verification in JavaPathfinder. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 94\u2013108. Springer, Heidelberg (2009)"},{"key":"36_CR8","unstructured":"Polyglot, \n                    \n                      https:\/\/wiki.isis.vanderbilt.edu\/MICTES\/index.php\/Publications"},{"key":"36_CR9","unstructured":"Hamilton, M.: The heart and soul of apollo: Doing it right the first time. In: Proc. 7th International Military and Aerospace Programmable Logic Devices (MAPLD) Conference (2004)"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Pezz\u00e8, M., Young, M.: Constructing multi-formalism state-space analysis tools: Using rules to specify dynamic semantics of models. In: ICSE (1997)","DOI":"10.1145\/253228.253278"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Eker, J., Janneck, J., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Sachs, S., Xiong, Y.: Taming heterogeneity - the ptolemy approach. Proc. of IEEE\u00a091(1) (2003)","DOI":"10.1109\/JPROC.2002.805829"},{"key":"36_CR12","unstructured":"Esmaeilsabzali, S., Day, N.A., Atlee, J.M., Niu, J.: Big-step semantics. Technical Report CS-2009-05, David R. Chariton School of Computer Science, Univ. of Waterloo, Ontario, Canada N2l 3G1 (2009)"},{"key":"36_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-12029-9_12","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Esmaeilsabzali","year":"2010","unstructured":"Esmaeilsabzali, S., Day, N.A.: Prescriptive Semantics for Big-Step Modelling Languages. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 158\u2013172. Springer, Heidelberg (2010)"},{"issue":"10","key":"36_CR14","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. Software Eng.\u00a029(10), 866\u2013882 (2003)","journal-title":"IEEE Trans. Software Eng."},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"Balasubramanian, D., Pasareanu, C.S., Whalen, M.W., Karsai, G., Lowry, M.R.: Polyglot: modeling and analysis for multiple statechart formalisms. In: ISSTA (2011)","DOI":"10.1145\/2001420.2001427"},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"Balasubramanian, D., Pasareanu, C.S., Karsai, G., Lowry, M.R., Whalen, M.W.: Improving symbolic execution for statechart formalisms. In: MODEVVA (2012)","DOI":"10.1145\/2427376.2427385"},{"key":"36_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-642-28891-3_26","volume-title":"NASA Formal Methods","author":"D. Balasubramanian","year":"2012","unstructured":"Balasubramanian, D., P\u0103s\u0103reanu, C.S., Biatek, J., Pressburger, T., Karsai, G., Lowry, M., Whalen, M.W.: Integrating Statechart Components in Polyglot. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol.\u00a07226, pp. 267\u2013272. Springer, Heidelberg (2012)"},{"issue":"12","key":"36_CR18","doi-asserted-by":"publisher","first-page":"1517","DOI":"10.1002\/spe.1083","volume":"41","author":"A. Dubey","year":"2011","unstructured":"Dubey, A., Karsai, G., Mahadevan, N.: A component model for hard real-time systems: Ccm with arinc-653. Softw., Pract. Exper.\u00a041(12), 1517\u20131550 (2011)","journal-title":"Softw., Pract. Exper."},{"key":"36_CR19","unstructured":"Goes-r, \n                    \n                      http:\/\/www.goes-r.gov"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36742-7_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:05:22Z","timestamp":1590969922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36742-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367410","9783642367427"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36742-7_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}