From statistical model checking to statistical model inference: Characterizing the effect of process variations in analog circuits | IEEE Conference Publication | IEEE Xplore