{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:58:16Z","timestamp":1771700296075,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/isorc.2013.6913236","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T20:48:11Z","timestamp":1412801291000},"page":"1-8","source":"Crossref","is-referenced-by-count":10,"title":["From timed automata to timed failure propagation graphs"],"prefix":"10.1109","author":[{"given":"Claudia","family":"Priesterjahn","sequence":"first","affiliation":[]},{"given":"Christian","family":"Heinzemann","sequence":"additional","affiliation":[]},{"given":"Wilhelm","family":"Schafer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","author":"vesely","year":"1981","journal-title":"Fault Tree handbook-nureg-0492209"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/582128.582152"},{"key":"16","author":"storey","year":"1996","journal-title":"Safety Critical Computer Systems"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1998.689458"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/2024436.2024444"},{"key":"11","first-page":"585","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Proc 23rd International Conference on Computer Aided Verification (CAV'11) Volume 6806 of LNCS"},{"key":"12","article-title":"Safeware: System safety and computers","author":"leveson","year":"1995","journal-title":"ACM"},{"key":"3","author":"becker","year":"2012","journal-title":"The Mechatronicuml Design Method-process Syntax and Semantics"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-24270-0_6","article-title":"From probabilistic counterexamples via causality to fault trees","author":"kuntz","year":"2011","journal-title":"30th International Conference on Computer Safety Reliability and Security (SAFECOMP 2011)"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/11875567_12","article-title":"Component-based hazard analysis: Optimal designs, product lines, and online-reconfiguration","author":"giese","year":"2006","journal-title":"Proc of the 25th International Conference on Computer Safety Security and Reliability"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/381766.381770"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-011-0184-y"},{"key":"4","first-page":"87","article-title":"Timed automata: Semantics, algorithms and tools","author":"bengtsson","year":"2003","journal-title":"Lectures on Concurrency and Petri Nets Volume 3098 of Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2008.4518986"},{"key":"8","article-title":"Organization and control of autonomous railway convoys","author":"henke","year":"2008","journal-title":"Proc Int Symp Advanced Vehicle Control"}],"event":{"name":"2013 IEEE 16th International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC)","location":"Paderborn, Germany","start":{"date-parts":[[2013,6,19]]},"end":{"date-parts":[[2013,6,21]]}},"container-title":["16th IEEE International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6906723\/6913188\/06913236.pdf?arnumber=6913236","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T22:03:52Z","timestamp":1498169032000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6913236\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/isorc.2013.6913236","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}