{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:50:14Z","timestamp":1726069814376},"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-16","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T13:10:22Z","timestamp":1322917822000},"page":"199-222","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Testing of LUSTRE\/SCADE Programs"],"prefix":"10.1201","member":"301","reference":[{"key":"ref7","unstructured":"1. Abrial, J.-R. (1995). Steam-boiler control speci\ufb01cation problem. Formal Methods for Industrial Applications, Volume 1165 of LNCS, 500\u2013509."}],"container-title":["Model-Based Testing for Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2020,7,10]],"date-time":"2020-07-10T02:31:31Z","timestamp":1594348291000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.taylorfrancis.com\/books\/9781439818473\/chapters\/10.1201\/b11321-16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,19]]},"ISBN":["9781315218021"],"references-count":1,"URL":"https:\/\/doi.org\/10.1201\/b11321-16","relation":{},"subject":[],"published":{"date-parts":[[2017,12,19]]}}}