{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T15:45:54Z","timestamp":1778341554397,"version":"3.51.4"},"reference-count":78,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"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":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1109\/tr.2023.3289920","type":"journal-article","created":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T19:01:34Z","timestamp":1689015694000},"page":"1340-1354","source":"Crossref","is-referenced-by-count":12,"title":["Dependability Analysis of a System Using State-Space Modeling Techniques: A Systematic Review"],"prefix":"10.1109","volume":"72","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9017-1812","authenticated-orcid":false,"given":"Kumar","family":"Gaurav","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, National Institute of Technology Jamshedpur, Jamshedpur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8067-9727","authenticated-orcid":false,"given":"Vinay","family":"Kumar","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, National Institute of Technology Jamshedpur, Jamshedpur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Binod Kumar","family":"Singh","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, National Institute of Technology Jamshedpur, Jamshedpur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03274-9_24"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2367-3"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60154-0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2012.02.038"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TDMR.2011.2162517"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TDMR.2019.2912862"},{"key":"ref7","first-page":"1","article-title":"Procedures for performing systematic reviews","author":"Kitchenham","year":"2004"},{"key":"ref8","article-title":"Procedures for performing systematic reviews. 2004","author":"Kitchenham","year":"2015"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DRCN.2009.5340029"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1201\/9781439863961","volume-title":"Reliable Computer Systems: Design and Evaluation","author":"Siewiorek","year":"1998"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.55"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/570758.570769"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/102792.102801"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2010.5544284"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2003.07.008"},{"key":"ref17","article-title":"Blueprint for a science of cybersecurity","author":"Schneider","year":"2011"},{"key":"ref18","year":"2001","journal-title":"International Electrotechnical Vocabulary: Chapter 191: Dependability and Quality of Service"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/9781119285441"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TPEL.2012.2192503"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IPEMC.2009.5157542"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2012.68"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.22215\/timreview\/702"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/JESTPE.2013.2290282"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.11"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2015.09.009"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20983-3_6"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/24.326452"},{"key":"ref29","first-page":"4","article-title":"Design of dependable systems: An overview of analysis and verification approaches","volume-title":"Proc. 5th Int. Conf. Depend.","author":"Aizpurua"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2015.10.046"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(03)00143-1"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2017.02.001"},{"key":"ref33","volume-title":"Dynamic Probabilistic Systems: Markov Models","volume":"1","author":"Howard","year":"2012"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(89)90335-4"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9123-1_10"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-4659-9.ch009"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2005.1408355"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2006.63"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/CIMCA.2006.144"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74035-3_2"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2005.11.060"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0084-1"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2009.4914731"},{"key":"ref45","first-page":"11","article-title":"SOPHIA: A modeling language for model-based safety engineering","volume-title":"Proc. ACES-MB Workshop","author":"Cancila","year":"2009"},{"key":"ref46","first-page":"1","article-title":"Quantification of the safety level of a safety-critical control system","volume-title":"Proc. Int. Conf. Appl. Electron.","author":"Rstony","year":"2010"},{"key":"ref47","first-page":"160","article-title":"A BPMN extension for modeling non functional properties of business processes","volume-title":"Proc. Symp. Theory Model. Simul., DEVS Integrative M&S Symp.","author":"Bocciarelli","year":"2011"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxq024"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0111-1"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2014.2305656"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2014.0108"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2452897"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2015.13"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.09.005"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2015.11.021"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.93"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927239"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2669147"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ICIN.2018.8401634"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2018.2827106"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2018.8369586"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.net.2018.10.019"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2019.00022"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53518-6_7"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-37869-1_28"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.4988"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/24.406578"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44667-2_9"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1002\/9781118776353"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177704863"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177704864"},{"key":"ref72","first-page":"420","volume-title":"Introduction to Stochastic Processes","author":"Cinlar","year":"1975"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1155\/S1048953399000362"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100030437"},{"key":"ref75","volume-title":"Matrix-Geometric Solutions in Stochastic Models (Johns Hopkins Series in the Mathematical Sciences)","volume":"2","author":"Neuts","year":"1981"},{"issue":"4","key":"ref76","first-page":"419","article-title":"Fitting phase-type distributions via the EM algorithm","volume":"23","author":"Asmussen","year":"1996","journal-title":"Scand. J. Statist."},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.04.001"},{"key":"ref78","first-page":"137","article-title":"Butools 2: A rich toolbox for Markovian performance evaluation","volume-title":"Proc. 10th EAI Int. Conf. Perform. Eval. Method. Tools","author":"Horvth","year":"2016"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/10339143\/10177269.pdf?arnumber=10177269","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T13:33:28Z","timestamp":1709300008000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10177269\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12]]},"references-count":78,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tr.2023.3289920","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12]]}}}