{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:44:02Z","timestamp":1757313842939},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/aiccsa.2016.7945660","type":"proceedings-article","created":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T20:44:49Z","timestamp":1497300289000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["The \u201cBehavior, interaction and priority\u201d framework applied to SystemC-based embedded systems"],"prefix":"10.1109","author":[{"given":"Ismail","family":"Assayad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lamia","family":"Eljadiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelouahed","family":"Zakari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tarik","family":"Nahhal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.54"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.010"},{"key":"ref13","article-title":"LusSy: an open tool for the analysis of systems-on-a-chip at the transaction lenvel","author":"moy","year":"2006","journal-title":"Design Automation for Embedded Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1450135.1450166"},{"key":"ref15","first-page":"108","article-title":"Building systemc waiting state automata","author":"harrath","year":"2011","journal-title":"Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2069102"},{"key":"ref4","article-title":"Programming and verifying critical systems by means of the synchronous data-flow programming language LUSTRE","author":"halbwachs","year":"1992","journal-title":"IEEE Transactions on Software Engineering Special Issue on the Specification and Analysis of Real-Time Systems"},{"journal-title":"System Design with System C","year":"2002","author":"gr\u00f6tker","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1138304.1138314"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-010-9051-5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2009.08.001"},{"key":"ref2","article-title":"Multiagent as systematic approach for integration based multiple models","author":"zakari","year":"2004","journal-title":"AISTA '04 International Conference on Advanced Intelligent Systems Theory and Applications"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72901-3_15"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"}],"event":{"name":"2016 IEEE\/ACS 13th International Conference of Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2016,11,29]]},"location":"Agadir","end":{"date-parts":[[2016,12,2]]}},"container-title":["2016 IEEE\/ACS 13th International Conference of Computer Systems and Applications (AICCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7937763\/7945610\/07945660.pdf?arnumber=7945660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,26]],"date-time":"2018-02-26T21:47:13Z","timestamp":1519681633000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7945660\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2016.7945660","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}