{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:22:04Z","timestamp":1761488524119},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/dsnw.2010.5542620","type":"proceedings-article","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T20:22:40Z","timestamp":1281471760000},"page":"45-51","source":"Crossref","is-referenced-by-count":17,"title":["A translation of State Machines to temporal fault trees"],"prefix":"10.1109","author":[{"given":"Nidhal","family":"Mahmud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Walker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Dependability Modeling and Evaluation-From AADL to Stochastic Petri Nets","year":"2007","author":"rugina","key":"ref4"},{"journal-title":"Dependability Modeling with the Architecture Analysis and CMU\/SEI-2007-TN-043","year":"2007","author":"feiler","key":"ref3"},{"article-title":"Pandora-A Logic for the Qualitative Analysis of Temporal Fault Trees","year":"2009","author":"walker","key":"ref6"},{"key":"ref5","article-title":"Automatic Generation of Static Fault Trees from AADL Models","author":"joshi","year":"2007","journal-title":"DSN Workshop on Architecting Dependable Systems"},{"key":"ref7","first-page":"105","article-title":"Compositional Temporal Fault Tree Analysis","author":"walker","year":"2007","journal-title":"Computer Safety Reliability and Security SAFECOMP'98"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(02)00042-X"},{"article-title":"Safety-Directed System Monitoring Using Safety Cases","year":"2000","author":"papadopoulos","key":"ref1"}],"event":{"name":"2010 International Conference on Dependable Systems and Networks Workshops (DSN-W)","start":{"date-parts":[[2010,6,28]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2010,7,1]]}},"container-title":["2010 International Conference on Dependable Systems and Networks Workshops (DSN-W)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5532085\/5542594\/05542620.pdf?arnumber=5542620","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T05:27:42Z","timestamp":1489901262000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5542620\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/dsnw.2010.5542620","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}