RTEMS Core Analysis for Space Applications | IEEE Conference Publication | IEEE Xplore