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.