Next generation space avionics: a highly reliable layered system implementation | IEEE Conference Publication | IEEE Xplore