G06F 11/1687

{Temporal synchronisation or re-synchronisation of redundant processing components at event level, e.g. by interrupt or result of polling}