Enviar por SMS: Modeling embedded systems and SoC's :