C. Pecheur, W. Visser, and R. Simmons, “RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems”, AIMag, vol. 22, no. 3, p. 107, Sep. 2001.