A Human Proximity Operations System test case validation approach | IEEE Conference Publication | IEEE Xplore