{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T15:53:30Z","timestamp":1715010810417},"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-21","type":"book-chapter","created":{"date-parts":[[2016,4,20]],"date-time":"2016-04-20T17:30:00Z","timestamp":1461173400000},"page":"215-230","source":"Crossref","is-referenced-by-count":0,"title":["Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach"],"prefix":"10.1201","author":[{"given":"Rimvydas","family":"Ruk\u0161enas","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Masci","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Curzon","sequence":"additional","affiliation":[]}],"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-20T17:30:02Z","timestamp":1461173402000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/10.1201\/b20053-21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,20]]},"ISBN":["9781498701587","9781498701594"],"references-count":0,"alternative-id":["10.1201\/b20053-21","10.1201\/b20053"],"URL":"https:\/\/doi.org\/10.1201\/b20053-21","relation":{},"subject":[],"published":{"date-parts":[[2016,4,20]]}}}