Checking the Correctness of Mission Plans. - John A. Allen; Renuka Shankar (ICTAI, 1993)