{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T20:47:34Z","timestamp":1769114854584,"version":"3.49.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/wf-iot.2014.6803192","type":"proceedings-article","created":{"date-parts":[[2014,5,5]],"date-time":"2014-05-05T20:59:26Z","timestamp":1399323566000},"page":"371-372","source":"Crossref","is-referenced-by-count":5,"title":["Monitoring dependability of city-scale IoT using D-case"],"prefix":"10.1109","author":[{"given":"Hideyuki","family":"Tokuda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuro","family":"Yonezawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Nakazawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"The goal structuring notation a safety argument notation","author":"kelly","year":"2004","journal-title":"Proc Of Dependable Systems and Networks 2004 Workshop on Assurance Cases"},{"key":"2","first-page":"725","article-title":"The safety case, its development and use in the united kingdom","author":"inge","year":"2007","journal-title":"Proc of the 25th International System Safety Conference"},{"key":"1","year":"0"},{"key":"7","author":"stamatis","year":"2003","journal-title":"Failure Mode and Effect Analysis FMEA from Theory to Execution"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2010.2089662"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2010.47"},{"key":"4","first-page":"8","article-title":"Fault tree analysis, methods, and applications, a review","volume":"194 203","author":"lee","year":"1985","journal-title":"IEEE Transactions on Reliability R-34"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SNPA.2003.1203364"}],"event":{"name":"2014 IEEE World Forum on Internet of Things (WF-IoT)","location":"Seoul, Korea (South)","start":{"date-parts":[[2014,3,6]]},"end":{"date-parts":[[2014,3,8]]}},"container-title":["2014 IEEE World Forum on Internet of Things (WF-IoT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6784568\/6803102\/06803192.pdf?arnumber=6803192","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T12:40:11Z","timestamp":1490272811000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6803192\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/wf-iot.2014.6803192","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}