Emerging Technologies for V&V of ISHM Software for Space Exploration | IEEE Conference Publication | IEEE Xplore