A Workload Generator for Evaluating SMT Real-Time Systems | IEEE Conference Publication | IEEE Xplore