{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T17:15:56Z","timestamp":1782753356467,"version":"3.54.5"},"reference-count":16,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"crossref","award":["EP\/F033206\/1"],"award-info":[{"award-number":["EP\/F033206\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000853","name":"University of Glasgow","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000853","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2019,1,1]]},"DOI":"10.1109\/tdsc.2017.2650901","type":"journal-article","created":{"date-parts":[[2017,1,10]],"date-time":"2017-01-10T19:24:39Z","timestamp":1484076279000},"page":"174-187","source":"Crossref","is-referenced-by-count":18,"title":["Stochastic Model Checking for Predicting Component Failures and Service Availability"],"prefix":"10.1109","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5033-7232","authenticated-orcid":false,"given":"Muffy","family":"Calder","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6773-9481","authenticated-orcid":false,"given":"Michele","family":"Sevegnani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.11"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2009.02.014"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2014.2338811"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.11.004"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.04.001"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2005.06.001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2014.15"},{"key":"ref4","first-page":"23","article-title":"The phase concept: Approximation of measured data and performance analysis","author":"bux","year":"1977","journal-title":"Proc Int Symp Comput Perform"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Proc 23rd Int Conf Comput Aided Verification"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.02.011"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.21"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1995.497656"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934574"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177704863"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/8613030\/07812626.pdf?arnumber=7812626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:48:35Z","timestamp":1657745315000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7812626\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,1]]},"references-count":16,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2017.2650901","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,1]]}}}