Describir: Modelado de sistemas distribuidos móviles considerando restricciones de tiempo real