Stav dette: О построении активных моделей распределенных систем реального времени