related documents Approximation-refinement testing of compute-intensive cyber-physical models Conferences PROMISE Conferences