A Gaussian process approach to model checks | Publicación