An Efficient Randomized Algorithm for Real-Time Process Scheduling in PicOS Operating System. - Tarek Helmy; Anifowose Fatai; El-Sayed Sallam (SCSS (2), 2008)