TASOR: A Temperature-Aware Semi-Partitioned Real-time Scheduler | IEEE Conference Publication | IEEE Xplore