Invia SMS: Symbolic model checking /