{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T03:39:38Z","timestamp":1772336378218,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":0,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540262787","type":"print"},{"value":"9783540320371","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11498490_2","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T16:11:28Z","timestamp":1287936688000},"page":"5-33","source":"Crossref","is-referenced-by-count":73,"title":["1 Homing and Synchronizing Sequences"],"prefix":"10.1007","author":[{"given":"Sven","family":"Sandberg","sequence":"first","affiliation":[]}],"member":"297","container-title":["Lecture Notes in Computer Science","Model-Based Testing of Reactive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11498490_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:40:45Z","timestamp":1619505645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11498490_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262787","9783540320371"],"references-count":0,"URL":"https:\/\/doi.org\/10.1007\/11498490_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}