Envoyer par SMS: Specification and design methodology for real-time embedded systems