{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:14:50Z","timestamp":1740100490149,"version":"3.37.3"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T00:00:00Z","timestamp":1637712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T00:00:00Z","timestamp":1637712000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T00:00:00Z","timestamp":1637712000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100003077","name":"Knowledge Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100003077","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,24]]},"DOI":"10.1109\/icsrs53853.2021.9660642","type":"proceedings-article","created":{"date-parts":[[2022,1,3]],"date-time":"2022-01-03T20:18:24Z","timestamp":1641241104000},"page":"161-170","source":"Crossref","is-referenced-by-count":0,"title":["Towards Qualitative and Quantitative Dependability Analyses for AR-Equipped Socio-Technical Systems"],"prefix":"10.1109","author":[{"given":"Soheila Sheikh","family":"Bahaei","sequence":"first","affiliation":[]},{"given":"Barbara","family":"Gallina","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Extending SafeConcert for Modelling Augmented Reality-equipped Socio-technical Systems","author":"sheikh bahaei","year":"2019","journal-title":"International Conference on System Reliability and Safety (ICSRS)"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.3850\/978-981-18-2016-8_417-cd"},{"year":"2010","journal-title":"ARTEMIS-JU-100022 – Composition with guarantees for high-integrity embedded software components assembly","key":"ref12"},{"key":"ref13","first-page":"298","article-title":"A reusable modular toolchain for automated dependability evaluation","author":"montecchi","year":"2013","journal-title":"Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools Institute for Computer Sciences Social-Informatics and Telecommunications Engineering"},{"key":"ref14","first-page":"84","article-title":"Introduction to Stochastic Petri Nets","author":"balbo","year":"2000","journal-title":"School organized by the European Educational Forum"},{"year":"1981","author":"haasl","journal-title":"Fault tree handbook Technical Report","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/EDCC.2018.00019"},{"year":"2021","journal-title":"CHESS State-Based Analysis","key":"ref17"},{"key":"ref18","first-page":"59","article-title":"CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems","author":"mazzini","year":"2016","journal-title":"Join Proceedings of EduSymp and OSS4MDE"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1016\/j.entcs.2005.02.051"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/j.ress.2021.107649"},{"key":"ref3","first-page":"25","article-title":"Guest editor’s introduction: Model-driven engineering","volume":"2","author":"shcmidt","year":"2006","journal-title":"IEEE Computer"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1016\/j.ssci.2020.105142"},{"key":"ref5","article-title":"Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language","author":"feiler","year":"2012","journal-title":"Addison-Wesley"},{"key":"ref8","article-title":"Effect of augmented reality on faults leading to human failures in socio-technical systems","author":"sheikh bahaei","year":"2019","journal-title":"International Conference on System Reliability and Safety (ICSRS)"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.3850\/978-981-11-2724-3_0922-cd"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.20870\/IJVR.2010.9.2.2767"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/ISSREW.2014.49"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-3-319-64119-5_9"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.23919\/FRUCT48808.2020.9087410"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1016\/j.jii.2021.100221"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1201\/9781003039693"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1016\/j.procir.2021.05.094"}],"event":{"name":"2021 5th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2021,11,24]]},"location":"Palermo, Italy","end":{"date-parts":[[2021,11,26]]}},"container-title":["2021 5th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9660621\/9660622\/09660642.pdf?arnumber=9660642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:56:43Z","timestamp":1652201803000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9660642\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,24]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icsrs53853.2021.9660642","relation":{},"subject":[],"published":{"date-parts":[[2021,11,24]]}}}