Rigorous analysis of quantization error of an A/D converter based on β-map | IEEE Conference Publication | IEEE Xplore