Return to Article Details A Set of Refactoring Rules for UML-B Specifications Download Download PDF