On requirements verification for model refinements