Text this: A mixed integer linear programming model for real-time task scheduling in multiprocessor computer system