Enviar por SMS: Specification and veritification of concurrent systems /