{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:08:51Z","timestamp":1725552531715},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1109\/ipdps.2002.1016486","type":"proceedings-article","created":{"date-parts":[[2005,8,24]],"date-time":"2005-08-24T23:23:34Z","timestamp":1124925814000},"page":"9 pp","source":"Crossref","is-referenced-by-count":3,"title":["Failure behavior analysis for reliable distributed embedded systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Trapp","sequence":"first","affiliation":[]},{"given":"B.","family":"Schurmann","sequence":"additional","affiliation":[]},{"given":"T.","family":"Tetteroo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571730"},{"journal-title":"International Electrotechnical Commission","article-title":"Fault Tree Analysis","year":"1990","key":"ref3"},{"key":"ref10","article-title":"RENEW - The Reference Net Workshop","author":"kummer","year":"1999","journal-title":"Petri Net Newsletter"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1998.653556"},{"key":"ref8","article-title":"A Markov chain model checker","author":"hermanns","year":"2001","journal-title":"Proceedings of Six International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"},{"key":"ref7","article-title":"Construction and Verification of Performance and Reliability Models","author":"hermanns","year":"2001","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"ref2","article-title":"A Reuse-and Prototyping-based Approach for the Specification of Building Automation Systems","author":"metzger","year":"2001","journal-title":"OMER-2 Workshop"},{"key":"ref9","article-title":"Simulating Synchronous Channels and Net Instances","author":"kummer","year":"1998","journal-title":"Workshop on Algorithms and Tools for Petri Nets"},{"key":"ref1","article-title":"The Unified Modelling Language User Guide","author":"booch","year":"1999","journal-title":"Addison Wesley Longman"}],"event":{"name":"Proceedings 16th International Parallel and Distributed Processing Symposium. IPDPS 2002","start":{"date-parts":[[2001,4,15]]},"location":"Ft. Lauderdale, FL","end":{"date-parts":[[2001,4,19]]}},"container-title":["Proceedings 16th International Parallel and Distributed Processing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7926\/21854\/01016486.pdf?arnumber=1016486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T19:44:50Z","timestamp":1490384690000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1016486\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2002.1016486","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}