Ensuring the real-time behaviour of expert systems. - J. Goodwin (1997)