SWSL: a synthetic workload specification language for real-time systems | IEEE Journals & Magazine | IEEE Xplore