{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:15Z","timestamp":1760202615375},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/sies.2010.5551374","type":"proceedings-article","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T15:38:07Z","timestamp":1282664287000},"page":"217-220","source":"Crossref","is-referenced-by-count":14,"title":["Compositional translation of simulink models into synchronous BIP"],"prefix":"10.1109","author":[{"given":"Vassiliki","family":"Sfyrla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Tsiligiannis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iris","family":"Safaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"D-finder: A tool for compositional deadlock detection and verification","author":"bensalem","year":"2009","journal-title":"CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629347"},{"key":"ref10","article-title":"Tool for translating simulink models into input language of a model checker","author":"meenakshi","year":"2006","journal-title":"ICFEM"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017795"},{"journal-title":"Verimag Research Report Tech Rep TR-2010–16","article-title":"Compositional translation of simulink models into synchronous bip","year":"0","key":"ref11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.055"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1109\/5.97300","article-title":"The synchronous dataflow programming language Lustre","author":"halbwachs","year":"1991","journal-title":"Proceedings of IEEE"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113834"},{"key":"ref2","article-title":"Modeling heterogeneous real-time systems in BIP","author":"basu","year":"0","journal-title":"Proceedings of SEFM'06"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.4316\/aece.2008.02001"},{"year":"0","key":"ref1"}],"event":{"name":"2010 International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2010,7,7]]},"location":"Trento, Italy","end":{"date-parts":[[2010,7,9]]}},"container-title":["International Symposium on Industrial Embedded System (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5547587\/5551360\/05551374.pdf?arnumber=5551374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T13:03:16Z","timestamp":1497877396000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5551374\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/sies.2010.5551374","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}