Distributed diagnosis of complex systems using timed failure propagation graph models | IEEE Conference Publication | IEEE Xplore