Invia SMS: Software design techniques for large ADA systems /