｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2023,3,29]]，“date-time”：“2023-03-29T13:53:32Z”，“timestamp”：1680098012823｝，“publisher location”：“Cham”，“reference count”：19，“publisher”：“Springer International Publishing”，“isbn type”：[｛“value”：“9783031158414”，“type”：“print”｝，｛“value”：“9783031158421”，“type”：“electronic”｝]，“license”：[｛“start”：｛“date parts”：[[2022,1,1]]，“date time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000｝，“content version”：“tdm”，“delay in days”：0，“URL”：“https://\\www.springer.com\/tdm”｝，｛“start”：｛“date parts”：[[2022,1,1]]，“date time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000｝，“content版本”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3-031-15842-1_8“，”type“：”book-capter“，”created“：{”date-part“：[[2022,9,8]]，“日期-时间”：“2022-09-08T04:02:50Z”，“时间戳”：1662609770000}，“页面”：“101-115”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：1，”title“：[“AltaRica动态系统中\u00a0建模失败传播的策略”]，“前缀”：“10.1007”，，“作者”：[{“给定”：“Tatiana”，“家族”：“Prosvirnova”、“序列”：“第一个”，“从属关系”：[]｝，｛“给定”：“Christel”，“family”：“Seguin”，“sequence”：“additional”，“affiliation”：[]｝，｛“给定”：“Christophe”，“family”：“Frazza”，“sequence”：“additional”，“affiliation”：[]｝，｛“给定”：“additional”，“affiliation”：[]｝，｛“给定”：“Xavier”，“family”：“de Bossoreille”，“sequence”：“additional”，“affiliation”：[]}中，{“given”：“Fr\u00e9d\u00e9 ric”，“family”：“Deschamps”，“sequence”：“additional”，“affiliation”：[]}，{“given”:“Jean”，“家族”：“Gauthier”，“序列”：“附加”，“从属”：[]}，}“giving”：“Estelle”，“家庭”：“Saez”，“sequence”:“additionable”，“atriation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[2022,9,9]]}，“参考”：[{“键”：“8_CR1”，“非结构化”：“EUROCAE ED-135民用机载系统和设备安全评估过程指南和方法”}，{“关键”：“8_CR2”，“首页”：“109”，“卷”：“34”，“作者”：“A Arnold”，“年份”：“2000”，“非结构性”：“Arnold，A.，Griffault，A.，Point，G.，Rauzy，A.：AltaRica语言及其语义。Fund.Inform.34，109\u2013124（2000）”，“journal-title”：“Fund.Inform.”}，{“key”：“8_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Batteux，M.，Prosvirnova，T.，Raugzy，A.:AltaRica3.0断言：为什么和为什么。J。风险可靠性。（2017年，文章被接受）“，”DOI“：”10.1177\/1748006X17728209“}，{”issue“：”1\u20132“，”key“：”8_CR4“，”DOI-asserted-by“：”publisher“，”first page“：AltaRica 3.0 10种建模模式。国际期刊评论。计算-基于系统。9（2013年1月2日）、133（2013年16月18日）。https:\/\/doi.org\/10.1504\/IJCCBS.2019.098809“，”journal-title“：”国际期刊评论计算-基于系统。}，{“key”：“8_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Bernard，R.，Aubert，J.J.，Bieber，P.，Merlini，C.，Metge，S.：基于模型的安全分析实验：飞行控制。摘自：Faure，J.M.（ed.）《IFAC离散系统可靠控制研讨会论文集》，法国卡尚，第43\u201348页。Curran Associates Inc.（2007年）。ISBN 9781617389948“，“DOI”：“10.3182\/20070613-3-FR-4909.00010”}，{“key”：“8_CR6”，“unstructured”：“Bieber，P.等人：断言中形式化故障分析的集成：案例研究和经验教训。摘自：第四届欧洲大会嵌入式实时软件会议记录，ERTS 2008。SIA（电子诉讼），法国图卢兹（2008）。Code R-2008-01-2B04“}，{“key”：“8_CR7”，“doi-asserted-by”：“publisher”，“first page”：”747“，“doi”：“10.1016\/j.ress.2004.12.004”，“volume”：：“91”，“author”：“M Boiteau”，”year“：”2006“unstructured”：“Boiteau，M.，Dutuit，Y.，Rauzy，A.，Signoret，J.P.：使用中的AltaRica数据流语言：评估多状态系统的生产可用性。Reliab公司。工程系统。安全。91，747\u2013755（2006）“，“新闻标题”：“Reliab。工程系统。安全。“}，{”key“：”8_CR8“，”doi-asserted-by“：”crossref“，”unstructured“：”Bouissou，M.，Bouhadana，H.，Bannelier，M.和Villatte，N.：知识建模和可靠性处理：Figaro建模语言和相关工具的演示。In:Proceedings of Safecomp 1991（1991）“，”doi“：”10.1016\/S1474-6670（17）51368-3“}”，{“key”：“8_CR9”，“doi-asserted-by“：”crossref“，”unstructured“：”G\u00fcdemann，M.，Ortmeier，F.：基于模型的定性和定量安全分析框架。摘自：第十二届高保证系统工程研讨会论文集，第132\u2013141页（2010）“，“DOI”：“10.1109\/HASE.2010.24”}，{“key”：“8_CR10”，“unstructured”：“Khuu，M.：Contribution \u00e0 l \u2019acc \u00 e9l \u00 e 9ration de la simulation stochastique sur des mod \u0 e8les AltaRica Data Flow。Th\u00e8se de doctorat，University\u00e 9 de la M\u00e-9ditral\u00e_9e（Aix-Marseille II）（2008）“}，{“key”：“8_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Mohrle，F.、Zeller，M.、Hofig，K.、Rothfeld，M.和Liggesmeyer，P.：使用部件故障树进行自动成分安全分析。2015年IEEE软件可靠性工程研讨会国际研讨会（ISSREW），第152\u2013159页。IEEE（2015）“，”DOI“：”10.1109\/ISSREW.2015.7392061“}，{”key“：”8_CR12“，”DOI-asserted-by“：”publisher“，”first page“：“590”，”DOI:“10.1016\/j.engfailanal.2010.09.025”，“volume”：“18”，“author”：“Y Papadopoulos”，“year”：“2011”，“unstructured”：“Papadopulos，Y.，et al.：”hip-hops.Eng。失败。分析。18，590\u2013608（2011）“，“新闻标题”：“工程失败。分析。}，{“key”：“8_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Quayzin，X.，Arbaretier，E.：监视任务的性能建模。摘自：《年度可靠性和可维护性研讨会论文集》，RAMS 2009，美国德克萨斯州沃思堡，第206\u2013211页。IEEE（2009）。ISBN 978-1-4244-2508-2“，”DOI“：”10.1109\/RAMS.2009.4914676“}，{”key“：”8_CR14“，”DOI-asserted-by“：”publisher“，”first page“：“1”，“DOI”：“10.1016\/S0951-8320（02）00042-X”，“volume”：“78”，“author”：“A Rauzzy”，“year”：“2002”，“unstructured”：“Rauzy，A.：模式自动机及其编译为故障树。Reliab.Eng.Syst.Saf.78，1\u201312（2002）“，”期刊标题“：”遗迹。工程系统。安全。“}，{”issue“：“1”，”key“：“8_CR15”，”doi-asserted-by“：”publisher“，”first page“：”105“，”doi“：”10.1016\/j.ress.2004.01007“，“volume”：“86”，“author”：“A Rauzzy”，“year”：“2004”，“unstructured”：“Rauzy，A.：计算大型马尔可夫模型瞬态解的迭代方法的实验研究。Reliab.Eng.Syst.Saf.86（1），105\u2013115（2004）”，“新闻标题“：”Reliab。工程系统。安全。“}，{”key“：”8_CR16“，”unstructured“：”Rauzy，A.：使用XFTA进行概率安全分析。AltaRica Association，Les Essarts le Roi，France（2020年）“}Signoret，J.P.，Dutuit，Y.，Cacheux，P.J.，Folleau，C.，Collas，S.，Thomas，P.：让你的petri网易于理解：可靠性框图驱动的petri网。Reliab公司。工程系统。安全。113，61\u201375（2013）。https:\/\/doi.org/10.1016\/j.ress.2012.12.008”，“期刊标题”：“宗教。工程系统。安全。“}，{”key“：”8_CR18“，”series-title“：”可靠性工程中的Springer series“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-030-64708-7“，”volume-title“：“安全与生产系统的可靠性评估”，“author”：“J-P Signoret”，“year”：“2021”，“unstructured”：“Signoret，J.-P.，Leroy，A.：安全和生产系统的可靠性评估。SSRE，施普林格，商会（2021）。https:\/\/doi.org\/10.1007\/978-3-030-64708-7“}，{“key”：“8_CR19”，“unstructured”：“Teichteil-K\u00f6nigbuch，F.，Infantes，G.，Seguin，C.：Epoch概率模型检验。In:基于模型的安全评估研讨会，法国图卢兹（2011）”}]，“container-title”：[“基于模型的安全和评估”，“计算机科学讲稿”]，“original-title“：[]，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-031-15842-1_8“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,9,8]]，”date-time“：“2022-09-08T04:03:50Z”，“timestamp”：1662609830000}，“score”：1，“资源”：{“主”：{“URL”：“https:\/\/link.springer.com/10.1007\/978-3-031-15842-1_8“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[[2022]]}，“ISBN”：[“9783031158414”，”9783031188421“]，”引用计数“：19，”URL“http://\/dx.doi.org\/10.1007\/9783-031-15842-1_8”，“关系”：{}，“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{”value“：”1611-3349“，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2022]]}，“assertion”：[{“value”：”2022年9月9日“，“order”：1，“name”：“first_online”，“label”：“first online”，”group“：{”name“：”ChapterHistory“，”label“：”Character History标签“：”会议缩写“，”组“：{”名称“：”ConferenceInfo“，”label“：”ConferenceInformation“}}，{”value“：”基于模型的安全与评估国际研讨会“，”order“：2，”name“：”Conference_name“，”标签“：”会议名称“，”group“：会议信息”，“标签”：“会议信息”}}，{“值”：“德国”，“顺序”：4，“名称”：“Conference_country”，“label”：“开会国家”，“组”：{“name”：“ConferenceInfo”}，{“value”：“2022年9月5日”，“order”：7，“name”：“conference_start_date”，“label”：“会议开始日期”，“group”：8英寸，“order”：9，“name”：“conference_number”，“label”：“conference number”，“group”：{“name”:“ConferenceInfo”，”label“：“Confection Information”}}，{“value”：“imbsa2022”，“order:10，”name“：”conference_id“，”lable“：”ConferenceID“，”group“：{”name“:”ConferencieInfo“，”标签“：”会议信息“}}”，{”value“：”https:\\/easyconferences.eu\/imbsa202 2\/“，”订单“：11，“name”：“conference_url”，“label”：“conference url”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}，{“value”：“Single-blind”，“order”：1，“name“：”type“，”label“：”type“，”group“：：“conference_management_system”，“label”：“会议管理系统”，“group”：{“name”：“ConfEventPeerReviewInformation”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}：“3”，“order”：5，“name”：“number_of_short_papers_accepted”，“label”：“接受的短文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评审信息（由会议组织者提供）”}}，{“value”：“56%-值由等式计算\”已接受的完整论文数\/已发送供审阅的提交数*100”，然后四舍五入为整数。“，”订单“：6，”名称“：”acceptance_rate_of_Full_Papers“，”标签“：”完整论文的接受率“，”组“：{”name“：”ConfEventPeerReviewInformation“，”label“：”同行审阅信息（由会议组织者提供）“}}，{”value“：”3“，“order”：7，“name”：“average_number_of_reviews_per_paper”，“label”：“每篇论文的平均评论数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评论信息（由会议组织者提供）”}}，{“value”：“2”，“orders”：8，“name”：“average_nument_of_papers_per_reviewer”，”label“：“每位审阅者的平均论文数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}}]}}