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, doi: 10.32890/jict2012.11.2.