Text this: A method of refinement in UML-B