Using Aspect-Oriented Programming for Trustworthy Software Development (Quantitative Software Engineering Series)