{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:50:13Z","timestamp":1726069813329},"edition-number":"0","reference-count":1,"publisher":"CRC Press","isbn-type":[{"type":"electronic","value":"9781315218021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12,19]]},"DOI":"10.1201\/b11321-9","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T18:10:22Z","timestamp":1322935822000},"page":"31-50","source":"Crossref","is-referenced-by-count":1,"title":["A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains"],"prefix":"10.1201","member":"301","reference":[{"key":"ref1","unstructured":"All4Tec, Markov Test Logic\u2014MaTeLo, commercial Model-Based Testing tool, http:\/\/ www.all4tec.net\/ [12\/01\/10]."}],"container-title":["Model-Based Testing for Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2020,7,10]],"date-time":"2020-07-10T06:31:22Z","timestamp":1594362682000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.taylorfrancis.com\/books\/9781439818473\/chapters\/10.1201\/b11321-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,19]]},"ISBN":["9781315218021"],"references-count":1,"URL":"https:\/\/doi.org\/10.1201\/b11321-9","relation":{},"subject":[],"published":{"date-parts":[[2017,12,19]]}}}