{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:55:36Z","timestamp":1725472536917},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/icat.2009.5348445","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T14:44:37Z","timestamp":1260456277000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["An automated software verification tool for model-based development of embedded systems with simulink\u00ae"],"prefix":"10.1109","author":[{"given":"Josef","family":"Borcsok","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Chaaban","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schwarz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huiyun","family":"Sheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleksandr","family":"Sheleh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Batsuren","family":"Batchuluun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Electronic safety concepts models and calculations","year":"0","author":"bo?rcso?k","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0004"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/52.819971"},{"key":"1","article-title":"Embedded hardware\/software verification and validation using hardware-in-the-loop simulation","author":"shah","year":"0","journal-title":"IEEE 2005 Int Conf on Emerging Tech"},{"year":"0","author":"erkkinen","key":"7"},{"journal-title":"Testing Standards Working","year":"0","key":"6"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.6028\/NIST.SP.500-165","author":"wallace","year":"1989","journal-title":"Software verification and validation An overview"},{"journal-title":"IEEE Std","first-page":"1012","year":"0","key":"9"},{"year":"0","key":"8"}],"event":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies. ICAT 2009","start":{"date-parts":[[2009,10,29]]},"location":"Bosnia","end":{"date-parts":[[2009,10,31]]}},"container-title":["2009 XXII International Symposium on Information, Communication and Automation Technologies"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340905\/5348395\/05348445.pdf?arnumber=5348445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T22:41:24Z","timestamp":1497825684000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5348445\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icat.2009.5348445","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}