{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,26]],"date-time":"2026-04-26T07:12:36Z","timestamp":1777187556204,"version":"3.51.4"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"ICT Fund UAE","award":["21N206"],"award-info":[{"award-number":["21N206"]}]},{"name":"UAE University, Al Ain, United Arab Emirates"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Systems Journal"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1109\/jsyst.2020.2970107","type":"journal-article","created":{"date-parts":[[2020,2,17]],"date-time":"2020-02-17T20:22:56Z","timestamp":1581970976000},"page":"4820-4831","source":"Crossref","is-referenced-by-count":6,"title":["Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving"],"prefix":"10.1109","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2787-4704","authenticated-orcid":false,"given":"Waqar","family":"Ahmad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2562-2669","authenticated-orcid":false,"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6154-2143","authenticated-orcid":false,"given":"Falah","family":"Awwad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8259-4495","authenticated-orcid":false,"given":"Nabil","family":"Bastaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Syed Rafay","family":"Hasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EUROCON.2013.6625124"},{"key":"ref11","article-title":"Formal verification of probabilistic algorithms","author":"hurd","year":"2003"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14052-5_27"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22863-6_12"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73595-3_2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2016.05.007"},{"key":"ref16","first-page":"226","article-title":"Formal availability analysis using theorem proving","author":"ahmad","year":"0","journal-title":"Proc 1st Int Conf Formal Engineering Methods"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47677-3_17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3658-0_10"},{"key":"ref19","article-title":"Formalized mathematics","author":"harrison","year":"1996"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1049\/joe.2017.0638"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-1860-4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08434-3_4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2017.7913275"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(96)00047-1"},{"key":"ref5","author":"gordon","year":"1993","journal-title":"Introduction to HOL A Theorem Proving Environment for Higher-Order Logic"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.4314\/ijest.v3i5.68570"},{"key":"ref7","first-page":"1","article-title":"Reliability evaluation for energy storage system combined with renewable energy resources","author":"kim","year":"0","journal-title":"Proc Int Conf Elect Dist"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1177\/1748006X11418288"},{"key":"ref9","first-page":"620","article-title":"Optimal sizing of a hybrid system of renewable energy for a reliable load supply without interruption","volume":"45","author":"ahmed","year":"2010","journal-title":"Eur J Sci Res"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3390\/app7020176"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2307\/2266170"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811326"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"ref24","first-page":"30","article-title":"Towards the formal reliability analysis of oil and gas pipelines","author":"ahmad","year":"0","journal-title":"Proc Conf Intell Comput Math"},{"key":"ref23","author":"trivedi","year":"2002","journal-title":"Probability and Statistics with Reliability Queuing and Computer Science Applications"},{"key":"ref26","article-title":"Formal reliability analysis of integrated power plant using theorem proving","author":"ahmad","year":"2019"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9473(94)90159-7"}],"container-title":["IEEE Systems Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4267003\/9268444\/09000970.pdf?arnumber=9000970","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T17:03:47Z","timestamp":1651079027000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9000970\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12]]},"references-count":28,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/jsyst.2020.2970107","relation":{},"ISSN":["1932-8184","1937-9234","2373-7816"],"issn-type":[{"value":"1932-8184","type":"print"},{"value":"1937-9234","type":"electronic"},{"value":"2373-7816","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12]]}}}