Diagnostic alarm sequence maturation in timed failure propagation graphs | IEEE Conference Publication | IEEE Xplore