From timed automata to timed failure propagation graphs | IEEE Conference Publication | IEEE Xplore