Envoyer par SMS: Hardware/software co-design and co-verification / edited by Jean-Michel Bergé, Oz Levia, and Jacques Rouillard.