Language and Tool Support for Class and State Machine Refinement in UML-B