Envoyer par SMS: Approximation Refinement for Interpolation−Based Model Checking