Compounded Real-Time Operating Systems for Rich Real-Time Applications | IEEE Journals & Magazine | IEEE Xplore