TraceBack: first fault diagnosis by reconstruction of distributed control flow