Pecheur, C., W. Visser, and R. Simmons. “RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems”. AI Magazine, vol. 22, no. 3, Sept. 2001, p. 107, doi:10.1609/aimag.v22i3.1583.