Email Record: Diseño de sistemas inalámbricos basado en modelos /