ABSTRACT
The drive to automate has characterized much of the past century. With it has come a mixed bag of both progress and problems. Automation of many different functions formerly performed by people has become common. Elevators carry people without a human operator, cruise control is commonly found in many automobiles, and automated teller machines span the globe in the twenty-”rst century. In cases where automation has been developed with a high degree of reliability and fairly simple requirements of the human operator or user of the system, it has been highly successful.
