Najafi, M. et al. 2016. A Set of Refactoring Rules for UML-B Specifications. COMPUTING AND INFORMATICS. 35, 2 (Jul. 2016), 411–440.