S. A. Oluwadare and B. O. Akinnuli, “A MIXED INTEGER LINEAR PROGRAMMING MODEL FOR REAL-TIME TASK SCHEDULING IN MULTIPROCESSOR COMPUTER SYSTEM”, JICT, vol. 11, pp. 17–36, Apr. 2012.