Telerobotics, automation and human supervisory control: Thomas B. Sheridan