Enviar por SMS: Automatic verification methods for finite state systems :