“Overall Drilling Effectiveness: key performance indicator adapted for rock drilling”, RSD, vol. 12, no. 3, p. e12512340462, Mar. 2023, doi: 10.33448/rsd-v12i3.40462.