Use the ROOM notation to model real time systems based on timeliness, dynamic internal structure, reactiveness, concurrency ...