Text this: A methodology to support UML-B model development