Human supervisory control behavior: Verification of a cybernetic model