Enviar Registro por Correo electrónico: Embedded systems design based on formal models of computation /