From Graphical Specification to Implementation
Allows graphical specification of concurrent reactive behaviour and implements it
Can be used in early phases to validate specifications - the same diagrams can be used as a core of the implementation
Helps to make and use a library of re-usable real-time components.