{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:52:40Z","timestamp":1729615960929,"version":"3.28.0"},"reference-count":6,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2002.1224425","type":"proceedings-article","created":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T10:56:02Z","timestamp":1065005762000},"page":"36-41","source":"Crossref","is-referenced-by-count":4,"title":["Top-level validation of system-on-chip in Esterel Studio"],"prefix":"10.1109","author":[{"given":"G.","family":"Berry","sequence":"first","affiliation":[]},{"given":"L.","family":"Blanc","sequence":"additional","affiliation":[]},{"given":"A.","family":"Bouali","sequence":"additional","affiliation":[]},{"given":"J.","family":"Dormoy","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"The Foundations of Esterel","author":"g\u00e9rard","year":"2000","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"key":"ref3","article-title":"The Esterel v5 Language Primer","author":"g\u00e9rard","year":"2000","journal-title":"Version v5 91"},{"key":"ref6","article-title":"Verification of Sequential Machines Based on Symbolic Execution","author":"olivier","year":"1989","journal-title":"Proc Workshop on Automatic Verification Methods for Finite State Systems"},{"key":"ref5","first-page":"189","article-title":"High-level architectural co-simulation using Esterel and C","author":"andr\u00e9","year":"2001","journal-title":"Proceedings of CODES 01"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","article-title":"The Esterel Synchronous Programming Language: Design, Semantics, Implementation","volume":"19","author":"g\u00e9rard","year":"1992","journal-title":"Science of Computer Programming"},{"key":"ref1","article-title":"Representation and Analysis of Reactive Behaviors: a Synchronous Approach","author":"charles","year":"1996","journal-title":"Proc CESA '96 IEEE-SMC"}],"event":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT'02)","acronym":"HLDVT-02","location":"Cannes, France"},"container-title":["Seventh IEEE International High-Level Design Validation and Test Workshop, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8669\/27468\/01224425.pdf?arnumber=1224425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T20:57:30Z","timestamp":1497560250000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1224425\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2002.1224425","relation":{},"subject":[]}}