Model real time systems based on timeliness, dynamic internal structure, reactiveness, concurrency and distribution, using ...