Invia SMS: Software Design Techniques for Large Ada Systems