Envoyer par SMS: Diagnosis & reliable design of digital systems /