Matching models across abstraction levels with Gaussian processes