{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T10:56:32Z","timestamp":1777546592986,"version":"3.51.4"},"reference-count":26,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2015,2,1]],"date-time":"2015-02-01T00:00:00Z","timestamp":1422748800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61202010"],"award-info":[{"award-number":["61202010"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["91218302"],"award-info":[{"award-number":["91218302"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key Technologies R&D Program","award":["SQ2012BAJY4052"],"award-info":[{"award-number":["SQ2012BAJY4052"]}]},{"DOI":"10.13039\/501100012166","name":"973 Program","doi-asserted-by":"crossref","award":["2010CB328003"],"award-info":[{"award-number":["2010CB328003"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Tsinghua University Initiative Scientific Research Program","award":["20131089331"],"award-info":[{"award-number":["20131089331"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Electron."],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1109\/tie.2014.2316234","type":"journal-article","created":{"date-parts":[[2014,4,9]],"date-time":"2014-04-09T18:02:24Z","timestamp":1397066544000},"page":"1270-1278","source":"Crossref","is-referenced-by-count":42,"title":["Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques"],"prefix":"10.1109","volume":"62","author":[{"given":"Yu","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hehua","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zonghui","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yangdong","family":"Deng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5.58319"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV 2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Computer Aided Verification"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2008.05.011"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158526"},{"key":"ref14","first-page":"110","article-title":"Multiclock Esterel","author":"berry","year":"0","journal-title":"Proc Correct Hardware Designs and Verification Methods"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630132"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref17","first-page":"506","article-title":"A toolset for modelling and verification of GALS systems","author":"ramesh","year":"0","journal-title":"Proc Int Conf Comput -Aided Verif"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1755951.1755900"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/780731.780754"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275301"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.159839"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1049\/sej.1993.0025","article-title":"safety-critical systems, formal methods and standards","volume":"8","author":"bowen","year":"1993","journal-title":"Software Engineering Journal"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.05.038"},{"key":"ref22","author":"edwards","year":"2003","journal-title":"CEC The Colombia Esterel Compiler"},{"key":"ref21","first-page":"133","article-title":"Circuit design and verification with Esterel v7 and Esterel Studio","author":"berry","year":"0","journal-title":"Proc IEEE Intl HLVDT"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1504\/IJVICS.2013.055760"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161237"},{"key":"ref26","author":"yu","year":"2013","journal-title":"Detail Model for the Train Communication System"},{"key":"ref25","year":"0","journal-title":"Mvb Controller D113"}],"container-title":["IEEE Transactions on Industrial Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/41\/7004105\/06786041.pdf?arnumber=6786041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:01:15Z","timestamp":1642003275000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6786041\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2]]},"references-count":26,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tie.2014.2316234","relation":{},"ISSN":["0278-0046","1557-9948"],"issn-type":[{"value":"0278-0046","type":"print"},{"value":"1557-9948","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,2]]}}}