{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:57:50Z","timestamp":1771700270286,"version":"3.50.1"},"reference-count":59,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T00:00:00Z","timestamp":1246406400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2009,7]]},"abstract":"<jats:p>This article summarizes our effort, since 2004 up to the present time, for improving the current industrial Systems-on-Chip and Embedded Systems design by joining the capabilities of the unified modeling language (UML) and SystemC\/C programming languages to operate at system-level. The proposed approach exploits the OMG model-driven architecture\u2014a framework for Model-driven Engineering\u2014capabilities of reducing abstract, coarse-grained and platform-independent system models to fine-grained and platform-specific models. We first defined a design methodology and a development flow for the hardware, based on a SystemC UML profile and encompassing different levels of abstraction. We then included a multithread C UML profile for modelling software applications. Both SystemC\/C profiles are consistent sets of modelling constructs designed to lift the programming features (both structural and behavioral) of the two coding languages to the UML modeling level. The new codesign flow is supported by an environment, which allows system modeling at higher abstraction levels (from a functional executable level to a register transfer level) and supports automatic code-generation\/back-annotation from\/to UML models.<\/jats:p>","DOI":"10.1145\/1550987.1550993","type":"journal-article","created":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T12:43:55Z","timestamp":1248785035000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["SystemC\/C-based model-driven design for embedded systems"],"prefix":"10.1145","volume":"8","author":[{"given":"Elvinia","family":"Riccobene","sequence":"first","affiliation":[{"name":"Universit\u00e0 degli Studi di Milano, Crema (CR), Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Bergamo, Dalmine (BG), Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Bocchio","sequence":"additional","affiliation":[{"name":"STMicroelectronics, Agrate Brianza, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Rosti","sequence":"additional","affiliation":[{"name":"STMicroelectronics, Agrate Brianza, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Lavazza","sequence":"additional","affiliation":[{"name":"Universit\u00e0 dell'Insubria and CEFRIEL, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Mantellini","sequence":"additional","affiliation":[{"name":"Dial Face Industry, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,7,24]]},"reference":[{"key":"e_1_2_2_1_1","unstructured":"Arlow J. and Neustadt I. 2002. UML and the Unified Process. Addison Wesley Reading MA.  Arlow J. and Neustadt I. 2002. UML and the Unified Process. Addison Wesley Reading MA."},{"key":"e_1_2_2_2_1","unstructured":"ASMETA. 2009. The Abstract State Machine mETAmodeling. Web site. http:\/\/asmeta.sf.net\/.  ASMETA. 2009. The Abstract State Machine mETAmodeling. Web site. http:\/\/asmeta.sf.net\/."},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0079-0"},{"key":"e_1_2_2_4_1","unstructured":"Bocchio S. Lavazza L. Mantellini L. and Rosti A. 2007. A UML profile for Posix thread library. STMicroelctronics Tech. rep. AST-AGR-2007-7.  Bocchio S. Lavazza L. Mantellini L. and Rosti A. 2007. A UML profile for Posix thread library. STMicroelctronics Tech. rep. AST-AGR-2007-7."},{"key":"e_1_2_2_5_1","volume-title":"Proceedings of the International Design Automation Conference. ACM","author":"Bocchio S.","unstructured":"Bocchio , S. , Riccobene , E. , Rosti , A. , and Scandurra , P . 2005. A SoC design flow-based on UML 2.0 and SystemC . In Proceedings of the International Design Automation Conference. ACM , New York. Bocchio, S., Riccobene, E., Rosti, A., and Scandurra, P. 2005. A SoC design flow-based on UML 2.0 and SystemC. In Proceedings of the International Design Automation Conference. ACM, New York."},{"key":"e_1_2_2_6_1","doi-asserted-by":"crossref","unstructured":"Bocchio S. Riccobene E. Rosti A. and Scandurra P. 2008. An enhanced SystemC UML profile for modeling at transaction-level. In Embedded Systems Specification and Design Languages. Springer Berlin.  Bocchio S. Riccobene E. Rosti A. and Scandurra P. 2008. An enhanced SystemC UML profile for modeling at transaction-level. In Embedded Systems Specification and Design Languages. Springer Berlin.","DOI":"10.1007\/978-1-4020-8297-9_15"},{"key":"e_1_2_2_7_1","doi-asserted-by":"crossref","unstructured":"B\u00f6rger E. and St\u00e4rk R. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag Berlin.   B\u00f6rger E. and St\u00e4rk R. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag Berlin.","DOI":"10.1007\/978-3-642-18216-7"},{"key":"e_1_2_2_8_1","volume-title":"Proceedings of the European SystemC Users Group Meeting.","author":"Bruschi F.","unstructured":"Bruschi , F. and Sciuto , D . 2002. SystemC based design flow starting from UML model . In Proceedings of the European SystemC Users Group Meeting. Bruschi, F. and Sciuto, D. 2002. SystemC based design flow starting from UML model. In Proceedings of the European SystemC Users Group Meeting."},{"key":"e_1_2_2_9_1","volume-title":"Proceedings of the Forum on Specification and Design Languages.","author":"Carioni A.","unstructured":"Carioni , A. , Gargantini , A. , Riccobene , E. , and Scandurra , P . 2008. Scenario-based validation of embedded systems . In Proceedings of the Forum on Specification and Design Languages. Carioni, A., Gargantini, A., Riccobene, E., and Scandurra, P. 2008. Scenario-based validation of embedded systems. In Proceedings of the Forum on Specification and Design Languages."},{"key":"e_1_2_2_10_1","doi-asserted-by":"crossref","unstructured":"Carioni A. Gargantini A. Riccobene E. and Scandurra P. 2009. Model-driven system validation by scenarios. In Languages for Embedded Systems and Their Applications. Springer-Verlag Berlin.  Carioni A. Gargantini A. Riccobene E. and Scandurra P. 2009. Model-driven system validation by scenarios. In Languages for Embedded Systems and Their Applications. Springer-Verlag Berlin.","DOI":"10.1007\/978-1-4020-9714-0_4"},{"key":"e_1_2_2_11_1","volume-title":"Proceedings of the 11th SPIN Workshop. Springer-Verlag","author":"Chen J.","unstructured":"Chen , J. and Cui , H . 2004. Translation from adapted UML to Promela for CORBA-based applications . In Proceedings of the 11th SPIN Workshop. Springer-Verlag , Berlin, 234--251. Chen, J. and Cui, H. 2004. Translation from adapted UML to Promela for CORBA-based applications. In Proceedings of the 11th SPIN Workshop. Springer-Verlag, Berlin, 234--251."},{"key":"e_1_2_2_12_1","volume-title":"Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of Model-Driven Achitecture. ACM","author":"Czarnecki K.","unstructured":"Czarnecki , K. and Helsen , S . 2003. Classification of model transformation approaches . In Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of Model-Driven Achitecture. ACM , New York. Czarnecki, K. and Helsen, S. 2003. Classification of model transformation approaches. In Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of Model-Driven Achitecture. ACM, New York."},{"key":"e_1_2_2_13_1","volume-title":"UML Workshop.","author":"ECSI","year":"2006","unstructured":"ECSI UML Workshop. 2006 . UML profiles for embedded systems, http:\/\/www.ecsi-association.org\/ecsi. ECSI UML Workshop. 2006. UML profiles for embedded systems, http:\/\/www.ecsi-association.org\/ecsi."},{"key":"e_1_2_2_14_1","unstructured":"Edwards M. and Green P. 2003. UML for hardware and software object modeling. In UML for Real: Design of Embedded Real-Time Systems. Kluwer Academic Dordrecht The Netherlands.   Edwards M. and Green P. 2003. UML for hardware and software object modeling. In UML for Real: Design of Embedded Real-Time Systems. Kluwer Academic Dordrecht The Netherlands."},{"key":"e_1_2_2_15_1","unstructured":"Enterprise Architect. 2008. The Enterprise Architect Tool. http:\/\/www.sparxsystems.com.au\/.  Enterprise Architect. 2008. The Enterprise Architect Tool. http:\/\/www.sparxsystems.com.au\/."},{"key":"e_1_2_2_16_1","first-page":"1949","article-title":"A language and a simulation engine for abstract state machines based on meta-modeling","volume":"14","author":"Gargantini A.","year":"2008","unstructured":"Gargantini , A. , Riccobene , E. , and Scandurra , P. 2008 a. A language and a simulation engine for abstract state machines based on meta-modeling . J. Universal Comput. Sci. 14 , 12, 1949 -- 1983 . Gargantini, A., Riccobene, E., and Scandurra, P. 2008a. A language and a simulation engine for abstract state machines based on meta-modeling. J. Universal Comput. Sci. 14, 12, 1949--1983.","journal-title":"J. Universal Comput. Sci."},{"key":"e_1_2_2_17_1","volume-title":"Proceedings of the 3rd IEEE Symposium on Industrial Embedded Systems (SIES'08)","author":"Gargantini A.","unstructured":"Gargantini , A. , Riccobene , E. , and Scandurra , P . 2008b. A model-driven validation&amp;verification environment for embedded systems . In Proceedings of the 3rd IEEE Symposium on Industrial Embedded Systems (SIES'08) . IEEE, Los Alamitos, CA. Gargantini, A., Riccobene, E., and Scandurra, P. 2008b. A model-driven validation&amp;verification environment for embedded systems. In Proceedings of the 3rd IEEE Symposium on Industrial Embedded Systems (SIES'08). IEEE, Los Alamitos, CA."},{"key":"e_1_2_2_18_1","doi-asserted-by":"crossref","unstructured":"Gargantini A. Riccobene E. and Scandurra P. 2009. Model-driven design and ASM-based validation of embedded systems. In Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. Springer Dordrecht The Netherlands.  Gargantini A. Riccobene E. and Scandurra P. 2009. Model-driven design and ASM-based validation of embedded systems. In Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. Springer Dordrecht The Netherlands.","DOI":"10.4018\/978-1-60566-750-8.ch002"},{"key":"e_1_2_2_19_1","unstructured":"Gr\u00f6etker T. Liao S. Martin G. and Swan S. 2002. System Design with SystemC. Kluwer Academic Amsterdam.   Gr\u00f6etker T. Liao S. Martin G. and Swan S. 2002. System Design with SystemC. Kluwer Academic Amsterdam."},{"key":"e_1_2_2_20_1","unstructured":"IP-XACT. 2007. SPIRIT Consortium IP-XACT schema v1.4. http:\/\/www.spiritconsortium.org.  IP-XACT. 2007. SPIRIT Consortium IP-XACT schema v1.4. http:\/\/www.spiritconsortium.org."},{"key":"e_1_2_2_21_1","unstructured":"Jerraya A. A. and Wolf W. 2004. Multi-Processor Systems-on-Chips. Elsevier San Francisco CA.  Jerraya A. A. and Wolf W. 2004. Multi-Processor Systems-on-Chips. Elsevier San Francisco CA."},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_2_2_23_1","volume-title":"Proceedings of the Forum on Specification and Design Languages.","author":"Kreku J.","unstructured":"Kreku , J. , Hoppari , M. , and Tiensyrja , K . 2007. SystemC workload model generation from UML for performance simulation . In Proceedings of the Forum on Specification and Design Languages. Kreku, J., Hoppari, M., and Tiensyrja, K. 2007. SystemC workload model generation from UML for performance simulation. In Proceedings of the Forum on Specification and Design Languages."},{"key":"e_1_2_2_24_1","volume-title":"The Rational Unified Process","author":"Kruchten P.","unstructured":"Kruchten , P. 1999. The Rational Unified Process . Addison Wesley, Reading , MA. Kruchten, P. 1999. The Rational Unified Process. Addison Wesley, Reading, MA."},{"key":"e_1_2_2_25_1","unstructured":"Lavangno L. Martin G. Vincentelli A. S. Rabaey J. Chen R. and Sgroi M. 2003. UML and platform-based design. In UML for Real Design of Embedded Real-Time Systems. Kluwer Academic Publishers Dordrecht The Netherlands.   Lavangno L. Martin G. Vincentelli A. S. Rabaey J. Chen R. and Sgroi M. 2003. UML and platform-based design. In UML for Real Design of Embedded Real-Time Systems. Kluwer Academic Publishers Dordrecht The Netherlands."},{"key":"e_1_2_2_26_1","volume-title":"Proceedings of the 1st Workshop on Advancing the State-of-the-Art in Run-Time Inspection. Elsvier","author":"Leroux H.","unstructured":"Leroux , H. , Mingins , C. , and Requile-Romanczuk , A . 2003. JACOT: A UML-based tool for the run-time-inspecton of concurrent Java programs . In Proceedings of the 1st Workshop on Advancing the State-of-the-Art in Run-Time Inspection. Elsvier , Amsterdam. Leroux, H., Mingins, C., and Requile-Romanczuk, A. 2003. JACOT: A UML-based tool for the run-time-inspecton of concurrent Java programs. In Proceedings of the 1st Workshop on Advancing the State-of-the-Art in Run-Time Inspection. Elsvier, Amsterdam."},{"key":"e_1_2_2_27_1","unstructured":"MARTE. 2008. OMG UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE) ptc\/08-06-08.  MARTE. 2008. OMG UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE) ptc\/08-06-08."},{"key":"e_1_2_2_28_1","volume-title":"White paper. Candence Design Systems","author":"Martin G.","unstructured":"Martin , G. 1999. UML and VCC. White paper. Candence Design Systems . Inc . Martin, G. 1999. UML and VCC. White paper. Candence Design Systems. Inc."},{"key":"e_1_2_2_29_1","doi-asserted-by":"crossref","unstructured":"Martin G. and Mueller W. 2005. UML for SoC Design. Springer Berlin Germany.   Martin G. and Mueller W. 2005. UML for SoC Design. Springer Berlin Germany.","DOI":"10.1007\/b135980"},{"key":"e_1_2_2_30_1","unstructured":"MDA. 2003. OMG the Model Driven Architecture. Guide V1.0.1. http:\/\/www.omg.org\/mda\/.  MDA. 2003. OMG the Model Driven Architecture. Guide V1.0.1. http:\/\/www.omg.org\/mda\/."},{"key":"e_1_2_2_31_1","volume-title":"Proceedings of the Forum on Specification and Design Languages.","author":"Moore T.","unstructured":"Moore , T. , Vanderperren , Y. , Sonck , G. , Van Oostende , P. , Pauwels , M. , and Dehaene , W . 2002. A design methodology for the development of a complex system-on-chip using UML and executable system models . In Proceedings of the Forum on Specification and Design Languages. Moore, T., Vanderperren, Y., Sonck, G., Van Oostende, P., Pauwels, M., and Dehaene, W. 2002. A design methodology for the development of a complex system-on-chip using UML and executable system models. In Proceedings of the Forum on Specification and Design Languages."},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1228784.1228904"},{"key":"e_1_2_2_33_1","unstructured":"Nguyen K. D. Sun Z. Thiagarajan P. S. and Wong W. F. 2005. Model-driven SoC design: The UML-SystemC bridge. In UML for SoC Design Martin G. and Mueller W. Springer Berlin Germany.  Nguyen K. D. Sun Z. Thiagarajan P. S. and Wong W. F. 2005. Model-driven SoC design: The UML-SystemC bridge. In UML for SoC Design Martin G. and Mueller W. Springer Berlin Germany."},{"key":"e_1_2_2_34_1","unstructured":"OCCN. 2005. OCCN Project. http:\/\/occn.sourceforge.net\/.  OCCN. 2005. OCCN Project. http:\/\/occn.sourceforge.net\/."},{"key":"e_1_2_2_35_1","unstructured":"Open Group. 2008. The Open Group Consortium. http:\/\/www.opengroup.org.  Open Group. 2008. The Open Group Consortium. http:\/\/www.opengroup.org."},{"key":"e_1_2_2_36_1","unstructured":"OpenMP. 2008. OpenMP Application Program Interface. http:\/\/www.openmp.org.  OpenMP. 2008. OpenMP Application Program Interface. http:\/\/www.openmp.org."},{"key":"e_1_2_2_37_1","unstructured":"OSCI Group. 2008. The Open SystemC Initiative. http:\/\/www.systemc.org.  OSCI Group. 2008. The Open SystemC Initiative. http:\/\/www.systemc.org."},{"key":"e_1_2_2_38_1","volume-title":"Proceedings of Forum on Specification and Design Languages.","author":"Raslam W.","unstructured":"Raslam , W. and Sameh , A . 2007. Mapping SysML to SystemC . In Proceedings of Forum on Specification and Design Languages. Raslam, W. and Sameh, A. 2007. Mapping SysML to SystemC. In Proceedings of Forum on Specification and Design Languages."},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/11423331_11"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.37"},{"key":"e_1_2_2_41_1","doi-asserted-by":"crossref","unstructured":"Riccobene E. Scandurra P. Rosti A. and Bocchio S. 2005b. A UML 2.0 profile for SystemC: Toward high-level SoC design. STMicroelectronics Tech. rep. AST-AGR-2005-3.  Riccobene E. Scandurra P. Rosti A. and Bocchio S. 2005b. A UML 2.0 profile for SystemC: Toward high-level SoC design. STMicroelectronics Tech. rep. AST-AGR-2005-3.","DOI":"10.1145\/1086228.1086254"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086254"},{"key":"e_1_2_2_43_1","volume-title":"Proceedings of the Forum on Specification and Design Languages.","author":"Riccobene E.","unstructured":"Riccobene , E. , Scandurra , P. , Rosti , A. , and Bocchio , S . 2006a. A model-driven co-design flow for embedded systems . In Proceedings of the Forum on Specification and Design Languages. Riccobene, E., Scandurra, P., Rosti, A., and Bocchio, S. 2006a. A model-driven co-design flow for embedded systems. In Proceedings of the Forum on Specification and Design Languages."},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147141"},{"key":"e_1_2_2_45_1","doi-asserted-by":"crossref","unstructured":"Riccobene E. Scandurra P. Rosti A. and Bocchio S. 2007a. A model-driven co-design flow for embedded systems. In Advances in Design and Specification Languages for Embedded Systems. Springer Berlin Germany.  Riccobene E. Scandurra P. Rosti A. and Bocchio S. 2007a. A model-driven co-design flow for embedded systems. In Advances in Design and Specification Languages for Embedded Systems. Springer Berlin Germany.","DOI":"10.1145\/1146909.1147141"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/MOMPES.2007.5"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.846320"},{"key":"e_1_2_2_48_1","unstructured":"SPT. 2003. OMG UML Profile for Schedulability Performance and Time formal\/03-09-01.  SPT. 2003. OMG UML Profile for Schedulability Performance and Time formal\/03-09-01."},{"key":"e_1_2_2_49_1","unstructured":"SysML. 2007. OMG SysML formal\/2007-09-01. http:\/\/www.omgsysml.org\/.  SysML. 2007. OMG SysML formal\/2007-09-01. http:\/\/www.omgsysml.org\/."},{"key":"e_1_2_2_50_1","volume-title":"SystemC Language Reference Manual","author":"System C.","unstructured":"System C. 2006. SystemC Language Reference Manual . IEEE Std 1666. SystemC. 2006. SystemC Language Reference Manual. IEEE Std 1666."},{"key":"e_1_2_2_51_1","volume-title":"Proceedings of the Forum on Specification and Design Languages.","author":"Thomas F.","unstructured":"Thomas , F. , Gerard , S. , Delatour , J. and Terrier , F . 2007. Software real-time resource modeling . In Proceedings of the Forum on Specification and Design Languages. Thomas, F., Gerard, S., Delatour, J. and Terrier, F. 2007. Software real-time resource modeling. In Proceedings of the Forum on Specification and Design Languages."},{"key":"e_1_2_2_52_1","unstructured":"UML. 2008. OMG the Unified Modeling Language (UML). http:\/\/www.uml.org.  UML. 2008. OMG the Unified Modeling Language (UML). http:\/\/www.uml.org."},{"key":"e_1_2_2_53_1","unstructured":"UML Profile for SWRadio. 2007. OMG UML Profile for SWRadio. V1.0 formal\/07-03-01.  UML Profile for SWRadio. 2007. OMG UML Profile for SWRadio. V1.0 formal\/07-03-01."},{"key":"e_1_2_2_54_1","volume-title":"Workshops. 2008. UML for SoC Design Workshops. http:\/\/www.c-lab.de\/uml-soc.","author":"So C","unstructured":"UML- So C Workshops. 2008. UML for SoC Design Workshops. http:\/\/www.c-lab.de\/uml-soc. UML-SoC Workshops. 2008. UML for SoC Design Workshops. http:\/\/www.c-lab.de\/uml-soc."},{"key":"e_1_2_2_55_1","unstructured":"USoC. 2006. OMG UML Profile for SoC Specification v1.0.1.  USoC. 2006. OMG UML Profile for SoC Specification v1.0.1."},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278527"},{"key":"e_1_2_2_57_1","unstructured":"Vincentelli A. S. 2002. Defining platform-based design. EEDesign of EETimes.  Vincentelli A. S. 2002. Defining platform-based design. EEDesign of EETimes."},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016720.1016745"},{"key":"e_1_2_2_59_1","volume-title":"Proceedings of the Conference on Design, Automation, and Test in Europe. IEEE","author":"Zimmerman J.","unstructured":"Zimmerman , J. Bringmann , O. , Gerlach , J. , Schaefer , F. , and Nageldinger , U . 2008. Holistic sytem modeling and refinement of intern-connected micro-electronic systems . In Proceedings of the Conference on Design, Automation, and Test in Europe. IEEE , Los Alamitos, CA. Zimmerman, J. Bringmann, O., Gerlach, J., Schaefer, F., and Nageldinger, U. 2008. Holistic sytem modeling and refinement of intern-connected micro-electronic systems. In Proceedings of the Conference on Design, Automation, and Test in Europe. IEEE, Los Alamitos, CA."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1550987.1550993","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1550987.1550993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:24Z","timestamp":1750278144000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1550987.1550993"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":59,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["10.1145\/1550987.1550993"],"URL":"https:\/\/doi.org\/10.1145\/1550987.1550993","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,7]]},"assertion":[{"value":"2008-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-07-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}