Invia SMS: Finite-State Models for Logical Machines