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