Verification and validation of complex systems human factors issues ; proceedings of the NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human-Machine Systems, held in Vimeiro, Portugal, July 6 - 17, 1992 (Springer, 1993)