A model for system-level timed analysis and profiling