The necessity of functional analysis for space exploration programs | IEEE Conference Publication | IEEE Xplore