Modelar sistemas de tiempo real basados en procedencia, estructuras internas dinámicas, reactividad, simultaneidad y distribución, ...