Envoyer par SMS: Hardware specification, verification and synthesis: mathematical aspects :