Describir: Modely systémov reálneho času