Using aspect-oriented programming for trustworthy software development - Safonov, V. O. (Wiley-Interscience, 2008)