The increasing complexity of real-time systems makes it necessary to use techniques and tools that allow designers greater control of the applications developed, make development structured, enable reuse of code and ...