Next generation space avionics: layered system implementation | IEEE Journals & Magazine | IEEE Xplore