Title: Refinement Validation of UML-B Pattern