Lui Sha honored with Outstanding Technical Contributions and Leadership Award by IEEE Technical Committee on Real-Time Systems.