{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T08:54:57Z","timestamp":1780563297695,"version":"3.54.1"},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T00:00:00Z","timestamp":1662422400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T00:00:00Z","timestamp":1662422400000},"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":[[2022,9,6]]},"DOI":"10.1109\/etfa52439.2022.9921644","type":"proceedings-article","created":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T23:02:42Z","timestamp":1667516562000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach"],"prefix":"10.1109","author":[{"given":"Ehsan","family":"Khamespanah","sequence":"first","affiliation":[{"name":"University of Tehran,Tehran,Iran"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Morteza","family":"Mohaqeqi","sequence":"additional","affiliation":[{"name":"Uppsala University,Uppsala,Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohammad","family":"Ashjaei","sequence":"additional","affiliation":[{"name":"Mälardalen University,Västerås,Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[{"name":"Mälardalen University,Västerås,Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","event":{"name":"2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)","location":"Stuttgart, Germany","start":{"date-parts":[[2022,9,6]]},"end":{"date-parts":[[2022,9,9]]}},"container-title":["2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9921412\/9921279\/09921644.pdf?arnumber=9921644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,14]],"date-time":"2022-11-14T22:08:25Z","timestamp":1668463705000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9921644\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,6]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/etfa52439.2022.9921644","relation":{},"subject":[],"published":{"date-parts":[[2022,9,6]]}}}