Real-time task scheduling modeling using Mixed-integer Programming by Hamida Elmehadji