Real-time task scheduling modeling using Mixed-integer Programming