{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T15:53:39Z","timestamp":1715010819314},"reference-count":0,"publisher":"Chapman and Hall\/CRC","isbn-type":[{"value":"9781498701587","type":"print"},{"value":"9781498701594","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5,12]]},"DOI":"10.1201\/b20053-4","type":"book-chapter","created":{"date-parts":[[2016,4,20]],"date-time":"2016-04-20T13:30:00Z","timestamp":1461159000000},"page":"15-27","source":"Crossref","is-referenced-by-count":0,"title":["Mandatory and Potential Choice: Comparing Event-B and STAIRS"],"prefix":"10.1201","author":[{"given":"Atle","family":"Refsdal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ragnhild","family":"Runde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ketil","family":"St\u00f8len","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2016,4,20]]},"container-title":["From Action Systems to Distributed Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2016,4,20]],"date-time":"2016-04-20T13:31:09Z","timestamp":1461159069000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/10.1201\/b20053-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,20]]},"ISBN":["9781498701587","9781498701594"],"references-count":0,"alternative-id":["10.1201\/b20053-4","10.1201\/b20053"],"URL":"https:\/\/doi.org\/10.1201\/b20053-4","relation":{},"subject":[],"published":{"date-parts":[[2016,4,20]]}}}