Efficient testing of simulation V&V for closed-loop operations | IEEE Conference Publication | IEEE Xplore