{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T05:08:48Z","timestamp":1736658528366,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540472377"},{"type":"electronic","value":"9783540472384"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901914_38","type":"book-chapter","created":{"date-parts":[[2006,10,10]],"date-time":"2006-10-10T05:21:43Z","timestamp":1160457703000},"page":"523-537","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems"],"prefix":"10.1007","author":[{"given":"Hang","family":"Su","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graham","family":"Hemingway","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. John","family":"Koo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"38_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1109\/JPROC.2002.805824","volume":"91","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-Integrated Development of Embedded Software. Proceedings of the IEEE\u00a091(1), 145\u2013164 (2003)","journal-title":"Proceedings of the IEEE"},{"issue":"11","key":"38_CR2","first-page":"1296","volume":"9","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Agrawal, A., Shi, F.: On the Use of Graph Transformations for the Formal Specification of Model Interpreters. Journal of Universal Computer Science\u00a09(11), 1296\u20131321 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"Chen, K., Sztipanovits, J., Neema, S., Emerson, M., Abdelwahed, S.: Toward A Semantic Anchoring Infrastructure For Domain-Specific Modeling Languages. In: The 5th ACM International Conference on Embedded Software (September 2005)","DOI":"10.1145\/1086228.1086236"},{"key":"38_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11581741_10","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Abdelwahed, S., Jackson, E.: Semantic Anchoring With Model Transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 115\u2013129. Springer, Heidelberg (2005)"},{"key":"38_CR5","unstructured":"Chen, K., Sztipanovits, J., Abdelwahed, S.: A Semantic Unit for Timed Automata Based Modeling Languages. In: The 12th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 347\u2013360 (2006)"},{"key":"38_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/11562948_11","volume-title":"Automated Technology for Verification and Analysis","author":"A. Dubey","year":"2005","unstructured":"Dubey, A., Wu, X., Su, H., Koo, T.J.: Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 114\u2013128. Springer, Heidelberg (2005)"},{"key":"38_CR7","unstructured":"Cataldo, A., Hylands, C., Lee, E.A., Liu, J., Liu, X., Neuendorffer, S., Zheng, H.: HyVisual: A Hybrid System Visual Modeler. Technical Report Technical Memorandum UCB\/ERL M03\/30, University of California, Berkely (2003)"},{"key":"38_CR8","unstructured":"AsmL, http:\/\/www.research.microsoft.com\/fse\/asml"},{"issue":"12","key":"38_CR9","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A Framework for Comparing Models of Computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"38_CR10","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, T.: The Theory of Hybrid Automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278\u2013292 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"38_CR12","unstructured":"Lygeros, J.: Lecture Notes on Hybrid Systems. Cambridge (2003)"},{"issue":"1","key":"38_CR13","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TAC.2002.806650","volume":"48","author":"J. Lygeros","year":"2003","unstructured":"Lygeros, J., Johansson, K.H., Simic, S.N., Zhang, J., Sastry, S.S.: Dynamical Properties of Hybrid Automata. IEEE Transactions on Automatic Control\u00a048(1), 2\u201317 (2003)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"Sprinkle, J., Karsai, G., Lang, A.: Hybrid Systems Interchange Format v.4.1.8, ISIS Technical Report, Vanderbilt University (2004)","DOI":"10.1109\/AERO.2005.1559595"},{"key":"38_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/978-3-540-31954-2_34","volume-title":"Hybrid Systems: Computation and Control","author":"A. Pinto","year":"2005","unstructured":"Pinto, A., Sangiovanni-Vincentelli, A.L., Carloni, L.P., Passerone, R.: Interchange Formats for Hybrid Systems: Review and Proposal. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 526\u2013541. Springer, Heidelberg (2005)"},{"key":"38_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11730637_37","volume-title":"Hybrid Systems: Computation and Control","author":"A. Pinto","year":"2006","unstructured":"Pinto, A., Carlon, L.P., Passerone, R., Sangiovanni-Vincentelli, A.L.: Interchange Formats for Hybrid Systems: Abstract Semantics. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 491\u2013506. Springer, Heidelberg (2006)"},{"key":"38_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-36580-X_33","volume-title":"Hybrid Systems: Computation and Control","author":"M. Senesky","year":"2003","unstructured":"Senesky, M., Eirea, G., John Koo, T.: Hybrid Modelling and Control of Power Electronic. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 450\u2013465. Springer, Heidelberg (2003)"},{"key":"38_CR18","unstructured":"Lee, E.A., Neuendorffer, S.: MoML - A Modeling Markup Language in XML - Version 0.4. Technical report, University of California at Berkeley (March 2000)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901914_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T09:48:16Z","timestamp":1736588896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901914_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472377","9783540472384"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11901914_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}