Enviar por SMS: Formal methods for components and objects