Metamorphic Model-Based Testing Applied on NASA DAT -- An Experience Report | IEEE Conference Publication | IEEE Xplore