Real-Time Operating Systems for Cyber-Physical Systems: Current Status and Future Research | IEEE Conference Publication | IEEE Xplore