Invia SMS: Using Aspect-Oriented Programming for Trustworthy Software Development