{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T15:02:12Z","timestamp":1764687732024,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/smc.2016.7844853","type":"proceedings-article","created":{"date-parts":[[2017,2,10]],"date-time":"2017-02-10T10:57:47Z","timestamp":1486724267000},"page":"003967-003972","source":"Crossref","is-referenced-by-count":5,"title":["Modeling and verifying self-adaptive systems: A refinement approach"],"prefix":"10.1109","author":[{"given":"Marwa","family":"Hachicha","sequence":"first","affiliation":[]},{"given":"Riadh Ben","family":"Halima","sequence":"additional","affiliation":[]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"first-page":"140","year":"0","author":"cansell","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2494444.2494446"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1809049.1809078"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.10"},{"first-page":"334","year":"0","author":"badeau","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2347583.2347592"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"first-page":"76","year":"0","author":"weyns","key":"ref5"},{"year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: an open toolset for modelling and reasoning in event-b","volume":"12","author":"abrial","year":"2010","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"first-page":"1","year":"2013","author":"de lemos","key":"ref1"},{"key":"ref9","article-title":"A correct by construction approach for modeling and formalizing self-adaptive systems (to be appear)","author":"hachicha","year":"2016","journal-title":"17th IEEE\/ACIS International Conference on Software Engineering Artificial Intelligence Networking and Parallel\/Distributed Computing ser SNPD '16"}],"event":{"name":"2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","start":{"date-parts":[[2016,10,9]]},"location":"Budapest, Hungary","end":{"date-parts":[[2016,10,12]]}},"container-title":["2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7830913\/7844217\/07844853.pdf?arnumber=7844853","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T11:00:59Z","timestamp":1568804459000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7844853\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/smc.2016.7844853","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}