Integration of embedded, real-time, Ada, operational flight programs with off-line engineering level-of-detail digital models | IEEE Conference Publication | IEEE Xplore