The influence of the pavement type on ground-borne vibrations due to road traffic