NASA contractor report CR (series). 1112. Modeling human operator with finite-state machines [with list of references]; by L. J. Fogel and Roger A. Morre.