Using discrete-event computer simulation to test control systems. - Trevor I. Miles; Hawker Siddeley (WSC, 1989)