{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:06:25Z","timestamp":1756425985099,"version":"3.44.0"},"reference-count":3,"publisher":"IEEE","license":[{"start":{"date-parts":[[2008,5,1]],"date-time":"2008-05-01T00:00:00Z","timestamp":1209600000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2008,5,1]],"date-time":"2008-05-01T00:00:00Z","timestamp":1209600000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,5]]},"DOI":"10.1109\/wfcs.2008.4638750","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T14:47:33Z","timestamp":1223390853000},"page":"251-254","source":"Crossref","is-referenced-by-count":0,"title":["Maintaining data consistency in ReCANcentrate during hub decouplings"],"prefix":"10.1109","author":[{"given":"Manuel","family":"Barranco","sequence":"first","affiliation":[{"name":"Dpt. Matem\u00e0tiques i Inform\u00e0tica, Universitat de les Illes Balears, Spain"}]},{"given":"Julian","family":"Proenza","sequence":"additional","affiliation":[{"name":"Dpt. Matem\u00e0tiques i Inform\u00e0tica, Universitat de les Illes Balears, Spain"}]},{"given":"Luis","family":"Almeida","sequence":"additional","affiliation":[{"name":"DET\/IEETA, Universidade de Aveiro, Portugal"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"134152","DOI":"10.1007\/s100090050010","article-title":"uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"Int Journal on Software Tools for Technology Transfer"},{"journal-title":"Road vehicles","article-title":"iso11898","year":"1993","key":"2"},{"year":"0","author":"barranco","key":"1"}],"event":{"name":"2008 IEEE International Workshop on Factory Communication Systems - (WFCS 2008)","start":{"date-parts":[[2008,5,21]]},"location":"Dresden, Germany","end":{"date-parts":[[2008,5,23]]}},"container-title":["2008 IEEE International Workshop on Factory Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4629548\/4638703\/04638750.pdf?arnumber=4638750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T18:03:26Z","timestamp":1756404206000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4638750\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":3,"URL":"https:\/\/doi.org\/10.1109\/wfcs.2008.4638750","relation":{},"subject":[],"published":{"date-parts":[[2008,5]]}}}