EMPHYSIS – Embedded systems with physical models in the production code software
Advanced Co-simulation Open System ARchitecture
Timing Model - TOols, algorithms, languages, methodology, USE cases