A model for system-level timed analysis and profiling | IEEE Conference Publication | IEEE Xplore