Najafi, M., Haghighi, H., & Nasab, T. Z. (2016). A Set of Refactoring Rules for UML-B Specifications. Computing and Informatics, 35(2), 411–440. https://cai.type.sk/content/2016/2/a-set-of-refactoring-rules-for-uml-b-specifications/