Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer. From timed automata to timed failure propagation graphs. In 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013, Paderborn, Germany, June 19-21, 2013. pages 1-8, IEEE, 2013. [doi]
Abstract is missing.