Text this: Safety of Control Systems with Dual Architecture Based on PLCs