Transactions on aspect-oriented software development X - Leavens, Gary T. (Springer, 2013)