Crashproof codes [flight software] | IEEE Journals & Magazine | IEEE Xplore