Shi-Wu Lo, Kam-yiu Lam, Tei-Wei Kuo: Real-Time Task Scheduling for SMT Systems. RTCSA 2005: 5-10