The GNP testbed for operator support evaluation - Goodstein, L. P. (RISO-M-2460, 1984)