{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T13:15:42Z","timestamp":1773407742223,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540877844","type":"print"},{"value":"9783540877851","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-87785-1_5","type":"book-chapter","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T01:22:11Z","timestamp":1222219331000},"page":"46-54","source":"Crossref","is-referenced-by-count":40,"title":["Model-Integrated Development of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Gabor","family":"Karsai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"5_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"},{"key":"5_CR2","unstructured":"Mathworks, Inc., http:\/\/www.mathworks.com"},{"key":"5_CR3","unstructured":"National Instruments, http:\/\/www.ni.com"},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MCS.2003.1200240","volume":"23","author":"A. Cervin","year":"2003","unstructured":"Cervin, A., Henriksson, D., Lincoln, B., Eker, J., \u00c5rz\u00e9n, K.-E.: How Does Control Timing Affect Performance? IEEE Control Systems Magazine\u00a023(3), 16\u201330 (2003)","journal-title":"IEEE Control Systems Magazine"},{"key":"5_CR5","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.L.: A denotational framework for comparing models of computation. Technical Report UCB\/ERL M97\/11, EECS Department, University of California, Berkeley (1997)"},{"key":"5_CR6","unstructured":"Model-Driven Architecture, http:\/\/www.omg.org\/mda"},{"key":"5_CR7","unstructured":"Model-Integrated Computing, http:\/\/www.isis.vanderbilt.edu\/research\/MIC"},{"key":"5_CR8","first-page":"1","volume-title":"Proceedings of the 17th international Symposium on Parallel and Distributed Processing","author":"Z. Papp","year":"2003","unstructured":"Papp, Z., Dorrepaal, M., Verburg, D.J.: Distributed Hardware-in-the-Loop Simulator for Autonomous Continuous Dynamical Systems with Spatially Constrained Interactions. In: Proceedings of the 17th international Symposium on Parallel and Distributed Processing. IPDPS, April 22 - 26, 2003, vol.\u00a0119, p. 1. IEEE Computer Society, Washington (2003)"},{"key":"5_CR9","unstructured":"Huang, D., Sarjoughian, H.S.: Software and Simulation Modeling for Real-time Software-intensive System. In: The 8th IEEE International Symposium on Distributed Simulation and Real Time Applications, Budapest, Hungary, October, pp. 196\u2013203."},{"key":"5_CR10","unstructured":"Sztipanovits, J., Karsai, G., Neema, S., Nine, H., Porter, J., Thibodeaux, R., Volgyesi, P.: Towards a Model-based Toolchain for the High-Confidence Design of Embedded Systems. In: Work-in-Progress Workshop at the Real-Time Application Systems conference (2008)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Karsai, G., Ledeczi, A., Neema, S., Sztipanovits, J.: The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design. In: IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany (2006)","DOI":"10.1109\/CACSD.2006.285443"},{"issue":"6","key":"5_CR12","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1109\/TSMCA.2005.851283","volume":"35","author":"X. Hu","year":"2005","unstructured":"Hu, X., Zeigler, B.P.: Model continuity in the design of dynamic distributed real-time systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A\u00a035(6), 867\u2013878 (2005)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"key":"5_CR13","unstructured":"Porter, J., Karsai, G., Volgyesi, P., Nine, H., Humke, P., Hemingway, G., Thibodeaux, R., Sztipanovits, J.: Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. In: The Models 2008 workshop on Model Based Architecting and Construction of Embedded Systems (submitted, 2008)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering Journal\u00a010(2) (April 2003)","DOI":"10.1023\/A:1022920129859"}],"container-title":["Lecture Notes in Computer Science","Software Technologies for Embedded and Ubiquitous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87785-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T01:12:23Z","timestamp":1557796343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87785-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540877844","9783540877851"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87785-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}