Text this: Comparison of respirable dust concentrations measured with personal gravimetric sampling instruments operated on-section and portal-to-portal /