High-Precision Digital Barometer Design for Coal Mining | IEEE Conference Publication | IEEE Xplore