Real-time Workload Models: Expressiveness Vs. Analysis Efficiency (Uppsala Dissertations from the Faculty of Science & Technology)