SMS versenden: Software Design Techniques for Large Ada Systems