{Temporal synchronisation or re-synchronisation of redundant processing components at instruction level}