{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:08:16Z","timestamp":1742947696249,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031622809"},{"type":"electronic","value":"9783031622816"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-62281-6_42","type":"book-chapter","created":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T23:04:58Z","timestamp":1718319898000},"page":"620-632","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Model of\u00a0Heterogeneous Display Component for\u00a0Cyber-Physical Systems Simulation"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Feredj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boualem","family":"Laichi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,14]]},"reference":[{"issue":"12","key":"42_CR1","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"EA Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"42_CR2","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Niknami, M., Nouidui, T.S., Wetter, M.: Modeling and simulating cyber-physical systems using CyPhySim*. In: EMSOFT (2015)","DOI":"10.1109\/EMSOFT.2015.7318266"},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"Wasicek, A., Lee, E.A., Kim, H., Greenberg, L., Iwai, A., Akkaya, I.: System simulation from operational data. In: Proceedings of the Design Automation Conference (DAC) (2015)","DOI":"10.1145\/2744769.2747944"},{"key":"42_CR4","doi-asserted-by":"crossref","unstructured":"Feredj, M.: A smart display component model for embedded systems modeling and simulation. In: Proceeding of SAI Computing Conference 2016. July 13-15, 2016, pp 1143-1148. London, UK (2016)","DOI":"10.1109\/SAI.2016.7556020"},{"key":"42_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-16129-2_20","volume-title":"Model Driven Engineering Languages and Systems","author":"EA Lee","year":"2010","unstructured":"Lee, E.A.: Disciplined heterogeneous modeling. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6395, pp. 273\u2013287. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16129-2_20"},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli, A., et al.: Contract-based design for cyber-physical systems. Eur. J. Control. In Press (2012)","DOI":"10.3166\/ejc.18.217-238"},{"key":"42_CR7","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: The past, present and future of cyber-physical systems: a focus on models. Sensors 15(3), 4837\u20134869 (2015)","DOI":"10.3390\/s150304837"},{"issue":"1","key":"42_CR8","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.jss.2008.05.031","volume":"82","author":"M Feredj","year":"2009","unstructured":"Feredj, M., Boulanger, F., Mbobi, A.M.: A model of domain-polymorph component for heterogeneous system design. J. Syst. Softw. 82(1), 112\u2013120 (2009)","journal-title":"J. Syst. Softw."},{"key":"42_CR9","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1109\/TCST.2004.824310","volume":"12","author":"J Liu","year":"2003","unstructured":"Liu, J., et al.: Actor-oriented control system design: a responsible framework perspective. IEEE Trans. Control Syst. Technol. 12, 250\u2013262 (2003)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"42_CR10","unstructured":"Feredj, M., Boulanger, F.: Domain polymorph components for explicit opaque borders in hierarchical heterogeneous models. In: ACM EWiLi 2014, Embedded Operating Systems Workshop. Nov, 12-13, 2014. Lisbon, Portugal (2014)"},{"issue":"3","key":"42_CR11","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1109\/5.558710","volume":"85","author":"S Edwards","year":"1997","unstructured":"Edwards, S., Lavagno, L., Lee, E.A., Sangiovanni-Vincentelli, A.: Design of embedded systems: formal models, validation, and synthesis. Proc. IEEE 85(3), 366\u2013390 (1997)","journal-title":"Proc. IEEE"},{"key":"42_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218126603000751","volume":"12","author":"EA Lee","year":"2002","unstructured":"Lee, E.A., et al.: Actor-oriented design of embedded hardware and software systems. J. Circuit Syst. Comput. 12, 231\u2013260 (2002)","journal-title":"J. Circuit Syst. Comput."},{"issue":"1","key":"42_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G Agha","year":"1997","unstructured":"Agha, G., et al.: A foundation for actor computation. J. Funct. Program. 7(1), 1\u201372 (1997)","journal-title":"J. Funct. Program."},{"issue":"12","key":"42_CR14","doi-asserted-by":"publisher","first-page":"1507","DOI":"10.1109\/43.898830","volume":"19","author":"K Keutzer","year":"2000","unstructured":"Keutzer, K., et al.: System-level design: orthogonalization of concerns and platform-based design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(12), 1507\u20131522 (2000)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"42_CR15","unstructured":"Liu, J.: Responsible frameworks for heterogeneous modeling and design of embedded systems. Ph. D. Thesis, Technical Memorandum UCB\/ERL M01\/41, University of California, Berkeley, CA 94720, (2001)"},{"key":"42_CR16","unstructured":"Aksit, M., Tekinerdogan, B., Bergmans, L.: The six concerns for separation of concerns. In: Proceedings of the ECOOP Workshop on Advanced Separation of Concerns (2001)"},{"key":"42_CR17","doi-asserted-by":"crossref","unstructured":"Kiczales, G., et al.: Aspect-oriented programming. In: Proceedings of the ECOOP 1997. LNCS, vol. 1241, pp. 220\u2013242. Springer-Verlag (1997)","DOI":"10.1007\/BFb0053381"},{"key":"42_CR18","unstructured":"Ptolemaeus, C.: System design, modeling, and simulation using ptolemy II. Ptolemy.org (2014). http:\/\/ptolemy.org\/books\/Systems"},{"key":"42_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58867-1","volume-title":"Formal Development of Reactive Systems","year":"1995","unstructured":"Lewerentz, C., Lindner, T. (eds.): Formal Development of Reactive Systems. LNCS, vol. 891. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-58867-1"}],"container-title":["Lecture Notes in Networks and Systems","Intelligent Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62281-6_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T23:11:26Z","timestamp":1718320286000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62281-6_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031622809","9783031622816"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62281-6_42","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"14 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Science and Information Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sai2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/saiconference.com\/Computing","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}