Model:
- Consolidated call graph: items of tasks and runnables are unified, call sequences are removed
- Simplified clock definitions (used in scenarios of variable rate stimuli)
- Limited frequency values to non negative (value >= 0)
Product:
- New model validation framework