Refactoring to improve the understandability of specifications written in object constraint language. - Alexandre L. Correa; Cláudiláudia Werner; Márcio de Oliveira Barros (IET Softw., 2009)