Validating Gaussian Process Models with Simulation-Based Calibration | IEEE Conference Publication | IEEE Xplore