Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson: Using mutation to design tests for aspect-oriented models. Inf. Softw. Technol. 81: 112-130 (2017)