Semi-automatic compensation of the propagation delay in fault-tolerant systems