An approach to refinement checking of SysML requirements