Enviar por SMS: Checking Experiments in Seguential Mashines