Modeling of Preemptive RTOS Scheduler with Priority Inheritance