Enviar por SMS: Logic synthesis and verification algorithms /