OLUWADARE, S. A.; AKINNULI, B. O. A Mixed Integer Linear Programming Model for Real-Time Task Scheduling in Multiprocessor Computer System. Journal of Information and Communication Technology, v. 11, p. 17–36, 30 Apr.2012.