Modelar sistemas de tempo real com base em pontualidade, estrutura interna dinâmica, reatividade, simultaneidade e distribuição, ...