The Artemis Workbench for System-level Performance Evaluation of Embedded System Architectures at Multiple Abstraction Levels