{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:46:50Z","timestamp":1761324410427,"version":"3.37.3"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,7]],"date-time":"2021-09-07T00:00:00Z","timestamp":1630972800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,7]],"date-time":"2021-09-07T00:00:00Z","timestamp":1630972800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001858","name":"VINNOVA project","doi-asserted-by":"publisher","award":["2018-02437"],"award-info":[{"award-number":["2018-02437"]}],"id":[{"id":"10.13039\/501100001858","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,7]]},"DOI":"10.1109\/etfa45728.2021.9613178","type":"proceedings-article","created":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:13:36Z","timestamp":1638317616000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge"],"prefix":"10.1109","author":[{"given":"Zeinab","family":"Bakhshi","sequence":"first","affiliation":[{"name":"Mälardalen University,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillermo","family":"Rodriguez-Navas","sequence":"additional","affiliation":[{"name":"Mälardalen University,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Hansson","sequence":"additional","affiliation":[{"name":"Mälardalen University,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"A tutorial on uppaal 4.0","author":"behrmann","year":"2006","journal-title":"Department of Computer Science Aalborg University"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-0372-6_27"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-1056-0_66"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2016.12.007"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2018.8538452"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/RNDM.2017.8093034"},{"key":"ref4","article-title":"Fault-tolerant permanent storage for container-based fog architectures","author":"valojerdi","year":"0","journal-title":"Proceedings of the 2021 22nd IEEE International Conference on Industrial Technology (ICIT)"},{"key":"ref3","first-page":"176","article-title":"Microservice based architecture: Towards high-availability for stateful applications with kubernetes","author":"vayghan","year":"0","journal-title":"2019 IEEE International Conference on Software Quality Reliability and Security (QRS)"},{"key":"ref6","first-page":"305","article-title":"In search of an understandable consensus algorithm","author":"ongaro","year":"0","journal-title":"2014 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC 14)"},{"journal-title":"UPPAAL Model Checker UPPAAL Official Website","year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2904181"},{"journal-title":"A Gentle Introduction to ROS","year":"2014","author":"o'kane","key":"ref7"},{"journal-title":"Kubernetes Foundation","article-title":"Kubernetes Documentation","year":"0","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2018.8355149"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2019.1608989"}],"event":{"name":"2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2021,9,7]]},"location":"Vasteras, Sweden","end":{"date-parts":[[2021,9,10]]}},"container-title":["2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9613137\/9613141\/09613178.pdf?arnumber=9613178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T00:23:23Z","timestamp":1659486203000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9613178\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/etfa45728.2021.9613178","relation":{},"subject":[],"published":{"date-parts":[[2021,9,7]]}}}