Checking the correctness of mission plans | IEEE Conference Publication | IEEE Xplore