The Artemis workbench for system-level performance evaluation of embedded systems