Techniques for the measurement of air-bearing separation -- A review | IEEE Journals & Magazine | IEEE Xplore