Envoyer par SMS: Finite-State Models for Logical Machines