Real-Time Scheduling of Sporadic Task Systems When the Number of Distinct Task Types Is Small