Instrument for rock bolt inspection by means of ultrasound | IEEE Conference Publication | IEEE Xplore