M. Najafi, H. Haghighi, and T. Zohdi Nasab, “A Set of Refactoring Rules for UML-B Specifications”, Comput. Inform., vol. 35, no. 2, pp. 411–440, Jul. 2016.