Return to Article Details Scheduling Techniques for Operating Systems for Medical and IoT Devices: A Review