{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:13Z","timestamp":1750307473553,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T00:00:00Z","timestamp":1284940800000},"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":[],"published-print":{"date-parts":[[2010,9,20]]},"DOI":"10.1145\/1865875.1865884","type":"proceedings-article","created":{"date-parts":[[2010,11,12]],"date-time":"2010-11-12T14:38:38Z","timestamp":1289572718000},"page":"61-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Simulink analysis of component-based embedded applications"],"prefix":"10.1145","author":[{"given":"Feng","family":"Zhou","sequence":"first","affiliation":[{"name":"University of Southern Denmark, Soenderborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00f8ren","family":"Top","sequence":"additional","affiliation":[{"name":"University of Southern Denmark, Soenderborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Sierszecki","sequence":"additional","affiliation":[{"name":"University of Southern Denmark, Soenderborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christo","family":"Angelov","sequence":"additional","affiliation":[{"name":"University of Southern Denmark, Soenderborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"B. Bouyssounouse and J. Sifakis (Eds.) \"Embedded Systems Design. The ARTIST Roadmap for Research and Development\" LNCS 3436 (2005)   B. Bouyssounouse and J. Sifakis (Eds.) \"Embedded Systems Design. The ARTIST Roadmap for Research and Development\" LNCS 3436 (2005)","DOI":"10.1007\/b106761"},{"key":"e_1_3_2_1_2_1","first-page":"65","author":"Liu J.","year":"2003","unstructured":"J. Liu and E. A. Lee , \"Timed Multitasking for Real-Time Embedded Software\", IEEE Control Systems Magazine, special issue on Advances in Software Enabled Control , February 2003 , pp. 65 -- 75 J. Liu and E. A. Lee, \"Timed Multitasking for Real-Time Embedded Software\", IEEE Control Systems Magazine, special issue on Advances in Software Enabled Control, February 2003, pp. 65--75","journal-title":"IEEE Control Systems Magazine, special issue on Advances in Software Enabled Control"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823063_10"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2008.29"},{"key":"e_1_3_2_1_5_1","first-page":"43","volume-title":"Proc. of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ACES-MB 2009","author":"Angelov C.","year":"2009","unstructured":"C. Angelov , K. Sierszecki and Y. Guo , \" Formal Design Models for Distributed Embedded Control Systems \", Proc. of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ACES-MB 2009 , Denver, Colorado, USA , Oct. 2009 , pp. 43 -- 57 C. Angelov, K. Sierszecki and Y. Guo, \"Formal Design Models for Distributed Embedded Control Systems\", Proc. of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ACES-MB 2009, Denver, Colorado, USA, Oct. 2009, pp. 43--57"},{"key":"e_1_3_2_1_6_1","volume-title":"F. Zhou and C. Angelov: Reusable State Machine Components for Embedded Control Systems. Proc. of the 7th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2010","author":"Sierszecki K.","year":"2010","unstructured":"K. Sierszecki , F. Zhou and C. Angelov: Reusable State Machine Components for Embedded Control Systems. Proc. of the 7th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2010 , Funchal, Madeira - Portugal , June 2010 K. Sierszecki, F. Zhou and C. Angelov: Reusable State Machine Components for Embedded Control Systems. Proc. of the 7th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2010, Funchal, Madeira - Portugal, June 2010"},{"key":"e_1_3_2_1_7_1","first-page":"233","volume-title":"Proc. of the 5th International Workshop on Formal Aspects of Component Software FACS 2008","author":"Guo Y.","year":"2008","unstructured":"Y. Guo , K. Sierszecki and C. Angelov , \" COMDES Development Toolset \". Proc. of the 5th International Workshop on Formal Aspects of Component Software FACS 2008 , Malaga, Spain , Sept. 2008 , pp. 233 -- 238 Y. Guo, K. Sierszecki and C. Angelov, \"COMDES Development Toolset\". Proc. of the 5th International Workshop on Formal Aspects of Component Software FACS 2008, Malaga, Spain, Sept. 2008, pp. 233--238"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.72"},{"key":"e_1_3_2_1_9_1","unstructured":"The MathWorks Inc. \"Writing S-Functions\" version 6 http:\/\/www.mathworks.com.  The MathWorks Inc. \"Writing S-Functions\" version 6 http:\/\/www.mathworks.com."},{"key":"e_1_3_2_1_10_1","unstructured":"The MathWorks Inc. \"Using Simulink\" version 6 http:\/\/www.mathworks.com.  The MathWorks Inc. \"Using Simulink\" version 6 http:\/\/www.mathworks.com."},{"key":"e_1_3_2_1_11_1","unstructured":"Eclipse Modeling Project http:\/\/www.eclipse.org\/m2m  Eclipse Modeling Project http:\/\/www.eclipse.org\/m2m"}],"event":{"name":"ASE10: IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Antwerpen Belgium","acronym":"ASE10"},"container-title":["Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1865875.1865884","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1865875.1865884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:47Z","timestamp":1750248527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1865875.1865884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,20]]},"references-count":11,"alternative-id":["10.1145\/1865875.1865884","10.1145\/1865875"],"URL":"https:\/\/doi.org\/10.1145\/1865875.1865884","relation":{},"subject":[],"published":{"date-parts":[[2010,9,20]]},"assertion":[{"value":"2010-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}