Is this sequential function chart correct?
I believe so, except that the initialisation or start position is supposed to be represented by a double-lined square.

Generally reaching a certain position, here B or C is monitored by a sensor and not a timer. This is to be certain that the arm is actually in that position. This is however a design matter and has nothing to do with the correctness of the SFC itself.