Transactions on Aspect-Oriented Software Development IX - Leavens (Springer Berlin Heidelberg, 2012)