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