{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,9,20]]，“日期时间”：“2023-09-2T22:28:19Z”，“时间戳”：1695248899651}，“引用计数”：6，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2009,11]]}，“DOI”：“10.1109\/ase.2009.49”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2010,3,24]]，“date-time”：“2010-03-24T10:48:44Z”，“timestamp”：1269427724000}，“source”：《Crossref》，“is-referenced-by-count”：7，“title”：[“支持需求验证：EuRailCheck工具”]，“prefix”：“101109”，“author”：[{“给定”：“Roberto”，“family”：”Cavada“，”序列“：“first”，“affiliation”：[]}，{“given”：“Alessandro”，“family”：“Cimatti”，“sequence”：“additional”，“filiation“：[]{”given“：”Alessandro'，“faily”：”Mariotti“，”sequence“：”additional“，”affiliance“：[]}，}“givin”：”Cristian“，”family“：”Mattarei“，i“，”sequence“：”additional“，”affiliation“：[]}，{“given”：“Sergio”，“family”：“Mover”，“sequence”：“additional”，“affiliation”：[]neneneep，{”given“：”Marco“，”family“：”Pensallorto“，”sequence“：”additional“，”affiliance“：[]]}，}“giving”：“Marco”，“家族”：“Roveri”，“序列”：“附加”，“affiliation“：[]}，{”given“：”Stefano“，”family“：“Tonetta”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref4”，“author”：“eisner”，“year”：“2006”，“journal-title”：“A Practical Introduction to PSL”}，{“key”：“ref3”，”article-title“：”带时间约束的对象模型“，”volume“：”8“，”author“：”cimatti“，”“year“：”：“2009”，“日记标题”：“软件和系统建模（SoSyM）”}，{“key”：“ref6”，“首页”：“360”，“文章标题”：“自然语言系统规范的自动翻译”，“卷”：“1102”，“作者”：“nelken”，“年份”：“1996”，“新闻标题”：”CAV“}，“key“：”ref5“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BF01384048“}，“文章标题”：“从非正式需求到属性驱动的形式验证”，“卷”：“5596”，“作者”：“cimatti”，“年份”：“2008”，“日志标题”：“FMICS”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10515-006-5468-2”}]，“事件”：{“名称”：“2009年第24届IEEE\/ACM自动化软件工程国际会议（ASE）”，“位置”：“新西兰奥克兰”，“start”：{“date-parts”：[[2009,11,16]]}，“end”：{“date-parts”：[[209,11,20]]}}，”container-title“：[”2009 IEEE\/ACM国际自动化软件工程会议“]，”original-title”：[]，“link”：[{“URL”：“http://\xplorestaging.IEEE.org\/ielx5\/5431684\/054431713.pdf？arnumber=5431713”，“content”-type“：”未指定“，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,3,18]]，“date-time”：“2017-03-18T15:03:19Z”，“timestamp”：1489849399000}，“score”：1，“resource”：{primary“URL”：“http://ieeexplore.iee.org\/document\/5431713\/”}}，”subtitle“：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2009,11]]}，“references-count”：6，“URL”：“http://\/dx.doi.org\/10.109\/ase.2009.49”，“relation”：{}，“subject”：[]，“published”：{“date-parts”：[[2009,11]]}}