The Artemis workbench for system-level performance evaluation of embedded systems. (15th September 2008)