related documents From Statistical Model Checking to Statistical Model Inference: Characterizing the Effect of Process Variations in Analog Circuits Conference Proceeding