Propagation of reinforcement corrosion: principles, testing and modelling | Synapse