Oluwadare, S. A.; Akinnuli, B. O. A MIXED INTEGER LINEAR PROGRAMMING MODEL FOR REAL-TIME TASK SCHEDULING IN MULTIPROCESSOR COMPUTER SYSTEM. JICT 2012, 11, 17-36.