{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T10:33:49Z","timestamp":1750070029434,"version":"3.37.3"},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,26]],"date-time":"2022-10-26T00:00:00Z","timestamp":1666742400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,26]],"date-time":"2022-10-26T00:00:00Z","timestamp":1666742400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001446","name":"Singapore Economic Development Board","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001446","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100003757","name":"FARM","doi-asserted-by":"publisher","award":["EP\/S035362\/1"],"award-info":[{"award-number":["EP\/S035362\/1"]}],"id":[{"id":"10.13039\/100003757","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,26]]},"DOI":"10.1109\/wf-iot54382.2022.10152177","type":"proceedings-article","created":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T23:49:29Z","timestamp":1687564169000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study"],"prefix":"10.1109","author":[{"given":"Xin","family":"Xin","sequence":"first","affiliation":[{"name":"Digital Service, TÜV SÜD Asia Pacific,Singapore"}]},{"given":"Sye Loong","family":"Keoh","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Glasgow,Glasgow,United Kingdom"}]},{"given":"Michele","family":"Sevegnani","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Glasgow,Glasgow,United Kingdom"}]},{"given":"Martin","family":"Saerbeck","sequence":"additional","affiliation":[{"name":"Digital Service, TÜV SÜD Asia Pacific,Singapore"}]}],"member":"263","event":{"name":"2022 IEEE 8th World Forum on Internet of Things (WF-IoT)","start":{"date-parts":[[2022,10,26]]},"location":"Yokohama, Japan","end":{"date-parts":[[2022,11,11]]}},"container-title":["2022 IEEE 8th World Forum on Internet of Things (WF-IoT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10151825\/10152024\/10152177.pdf?arnumber=10152177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T17:50:23Z","timestamp":1689011423000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10152177\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,26]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/wf-iot54382.2022.10152177","relation":{},"subject":[],"published":{"date-parts":[[2022,10,26]]}}}