Zaslať SMS: Software Design Techniques for Large Ada Systems